Adam Petz is a PhD student in Computer Science at the University of Kansas under the guidance of his advisor, Dr. Perry Alexander. Adam's broad research interests include formal methods, programming language semantics, functional programming, trusted computing, and computer security. |