Adam Petz

Adam Petz
  • Assistant Research Professor, EECS

Contact Info

Nichols Hall Room 134
Lawrence
2335 Irving Hill Rd
Lawrence, KS 66045

Personal Links

Biography —

Dr. Petz is an Assistant Research Professor in the EECS department.  He joined I2S in this role at the start of January 2022.

Dr. Petz’s research interests are at the intersection of software correctness, programming languages, and security.  He aims to bolster trust in core system-level software components and their interaction with trusted hardware, thus enabling modular trust decisions that scale to larger systems. 

Dr. Petz has made significant contributions to multiple successful externally funded research projects including Armored Software (DoD), Science of Security (NSA), and C.A.S.E.:  Cyber Assured Systems Engineering (DARPA).

Education —

B.S. in Computer Science, Emporia State University, 2014
B.S. in Mathematics, Emporia State University, 2014
M.S. in Computer Science, University of Kansas, 2016
Ph.D. in Computer Science, University of Kansas, 2022

Research —

Software Correctness, Formal Methods, Functional Programming, Domain-Specific Languages, Programming Language Semantics, Program Synthesis, System-Level Security, Trusted Computing.

Awards & Honors —

Capitol Graduate Research Summit:  Selected as 1 of 8 graduate students to present my research to state legislators at the Kansas capitol building in Topeka.

Memberships —

Kappa Mu Epsilon (National honor society in Mathematics)