Stephen McCamant

Stephen McCamant headshot

Stephen McCamant

Associate Professor, Department of Computer Science & Engineering


Kenneth H. Keller Hall
Room 4-225E
200 Union Street Se
Minneapolis, MN 55455
Research Interests

McCamant's primary research interest is applications of program analysis techniques for software security and correctness. This includes binary analysis and transformation, hybrids of dynamic and static analysis including symbolic execution, information flow and taint analysis, instruction-level hardening and isolation, and applications of decision procedures and proof-assistant tools.

Research areas
Software Engineering and Programming Languages