Carl A. Gunter is George and Ann Fisher Distinguished Professor in Engineering in the Computer Science Department of the University of Illinois at Urbana-Champaign. He received his BA from the University of Chicago in 1979 and his PhD from the University of Wisconsin at Madison in 1985. He worked as a postdoctoral researcher at Carnegie-Mellon University and the University of Cambridge in England before joining the faculty of the University of Pennsylvania in 1987 and the University of Illinois in 2004.  He serves as the director of Illinois Security Lab, lead of the Genomic Security and Privacy Theme at the Institute for Genomic Biology (IGB), and the founding chair for the Security and Privacy Area of the Department of Computer Science.

Professor Gunter has made research contributions in the semantics of programming languages, formal methods, security, and privacy. His contributions to the semantics of programming languages include the interpretation of subtypes using implicit coercions, type inference for continuations and prompts, the use of Grothendieck fibrations as a model of parametric polymorphism, the mixed powerdomain, and the use of Petri nets as a model of linear logic. His 1992 textbook and his chapter in the Handbook of Theoretical Computer Science are standard references on the semantics of programming languages. He has also served extensively as research consultant and expert witness on programming languages and software. Professor Gunter’s contributions to the formal methods include the Packet Language for Active Networks (PLAN), the WRSPM reference model for requirements and specifications, the first formal analyses of Internet and ad hoc routing protocols, the Verisim system for analyzing network simulations, and exploiting bandwidth contention as a DoS countermeasure. His work on security and privacy includes the first research on certificate retrieval for trust management and the formal analysis of regulatory privacy rules.

His recent research focuses on security and privacy issues for the electric power grid and healthcare information technologies.


Carl Gunter’s Erdos Number is 3: Paul Erdos -> Alfred Tarski -> Dana S. Scott -> Carl A. Gunter

His mathematics genealogy ancestry of PhD advisers is:  Carl Gunter (University of Wisconsin 1985), Dana Scott (Princeton University 1958), Alonzo Church (Princeton University 1927), Oswald Veblen (University of Chicago 1903), Eliakim Hastings Moore (Yale University 1885), Hubert Anson Newton (Yale University 1850), Michel Chasles (École Polytechnique 1814), Simeon Denis Poisson (École Polytechnique 1800), Joseph Louis Lagrange, Pierre-Simon Laplace, and Jean Le Rond d’Almbert.