kevin bierhoff

• Nels Beckman: Takes Pluralism to a whole new level
• Ciera Jaspan: Crystal-clear on all things SE
• George Fairbanks: Just Enough Software Architecture teaching and consulting
• Maja H.Ahmetovic: A creative force of her own design

• 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 let 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).