kevin bierhoff

• Plaid -- the great family that I'm part of.
• Fluid -- static analysis like you've never seen before.
• POP -- the award-winning type theory group.
• SVC -- model checking and more. 

• 17-654: Analysis of Software Artifacts (Spring 2007) taught by Jonathan Aldrich
• 15-312: Foundations of Programming Languages (Fall 2005) taught by Peter Lee 

• 15-814: Type Systems for Programming Languages (Fall 2004) taught by Bob Harper
• 15-819: Objects and Aspects (Fall 2004) taught by Jonathan Aldrich
• 17-939: What Makes Good Research in Software Engineering? (Spring 2005) taught by Mary Shaw
• 17-754: Analysis of Software Artifacts (Spring 2005) taught by Jonathan Aldrich
• 17-898: Reading Seminar: Modeling Dynamic Software Architectures (Spring 2005) taught by Jonathan Aldrich and David Garlan
• 17-701: Web Commerce, Security and Privacy (Fall 2005) taught by Norman M. Sadeh
• 15-745: Optimizing Compilers (Spring 2006) taught by Peter Lee
• 15-810: Fast SAT Solvers and Practical Decision Procedures (Spring 2006) taught by Edmund Clarke
• 15-819K: Logic Programming (Fall 2006) taught by Frank Pfenning 

Incremental Path Profiling for Optimizing Compilers (with Laura Hiatt)  

• Plural is a static protocol analysis tool for Java that I am developing with Nels Beckman.
• Twelf Development Tools lets you write Twelf proofs in the the Eclipse IDE.
• Crystal is a static analysis framework for the Eclipse IDE developed by me and others in the Plaid group.
  
• RoboWars is a multiplayer computer game that needs all your attention.
• jBib is a library management system (German).