Shane A. Markstrum, Ph.D.

Affiliations: 
2009 University of California, Los Angeles, Los Angeles, CA 
Area:
programming language design; static type systems; program analysis; software model checking; formal methods; compilers
Google:
"Shane Markstrum"

Parents

Sign in to add mentor
Todd Millstein grad student 2009 UCLA
 (Enforcing and validating user-defined programming disciplines.)