Stephen McCamant

Stephen McCamant is an Associate Professor of Computer Science and Engineering at the University of Minnesota. He has been with the university since August 2012, initially joining as an Assistant Professor.1 His primary research interests include applications of program analysis techniques for software security and correctness, binary analysis, symbolic execution, and information flow analysis.2

Career Path

• Current Position: Associate Professor at the University of Minnesota (since 2012)3
• Previous Role: Postdoc / Assistant Project Scientist at UC Berkeley (2008-2012)1

Education

• Ph.D. and M.S. from Massachusetts Institute of Technology (2002-2008)12
• B.A. in Computer Science from the University of California, Berkeley (1998-2002)12

Research and Publications

McCamant has made significant contributions to the field of computer science, particularly in areas related to software security and analysis. Some of his notable works include:

• Research on dynamic detection of likely invariants (The Daikon system)3
• Work on control flow integrity for binary executables3
• Contributions to symbolic execution frameworks for JavaScript3
• Development of techniques for quantitative information flow analysis3

His research has been widely cited, with over 6,000 citations according to Google Scholar.3

Teaching

At the University of Minnesota, McCamant has taught various courses, including:

• Development of Secure Software Systems
• Security and Privacy in Computing
• Machine Architecture and Organization
• Introduction to Computer Security2

Stephen McCamant's expertise in software security, binary analysis, and program analysis techniques has established him as a respected figure in the field of computer science and engineering.