Biography of Carl A. Gunter

Dr. Gunter 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 at Urbana-Champaign (UIUC) in 2004. At UIUC he is a professor in the Computer Science Department, Director of the Illinois Security Lab, member of the Arms Control, Disarmament and International Security (ACDIS) executive committee, and member of the Information Trust Institute (ITI) steering committee.  He is the head of the Systems and Networking Area of the Computer Science Department and the chair of the steering committee for the ACM Conference on Computer and Communications Security (CCS).

He does research and teaches in his areas of technical expertise: security, networks, programming languages, and software engineering.   His work includes contributions to the semantics and design of programming and policy languages, models and analysis techniques for networks and security, and applications of formal logic in computer science. His current projects focus on security for networked sensors, attribute-based security systems, models and counter-measures for Denial of Service (DoS), and applications of these technologies in electric power systems and healthcare.

He is the author of more than 80 scientific research publications and patents and a textbook on semantics of programming languages published by MIT Press. He is a founder of Probaris, a company that provides identity management technologies, and has served as a consultant to research labs and companies and as an expert witness on legal cases concerning fraud, contract, copyright, and patent infringement.

Selected Publications:

Verisim: Formal analysis of network simulations, with Karthikeyan Bhargavan, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, and Mahesh Viswanathan.  IEEE Transactions on Software Engineering, 2002.

Policy directed certificate retrieval, with Trevor Jim.  Software Practice and Experience, 2000.

Semantics of Programming Languages: Structures and Techniques, MIT Press Foundations of Computing Series, 1992.

The SwitchWare Active Network Architecture, with D. Scott Alexander, William A. Arbaugh, Michael W. Hicks, Pankaj Kakkar, Angelos D. Keromytis, Jonathan T. Moore, Scott M. Nettles, and Jonathan M. Smith. IEEE Network Magazine, 1998.

Reference counting as a computational interpretation of linear logic, with Jawahar Chirimar and Jon Riecke. Journal of Functional Programming, 1996.

The mixed powerdomain. Theoretical Computer Science, 1992.

Inheritance as implicit coercion, with Val Breazu-Tannen, Thierry Coquand, and Andre Scedrov. Information and Computation, 1991.