Research of Michael Huth

Research interests

I engage in a combination of blue-sky and application-driven research in Cybersecurity, Mathematical Modeling, and Formal Verification. My current research activities focus on

Current PhD Students or Research Associates

Resources

Gone But Not Forgotten