Max Goldman

• Massachusetts Institute of Technology (MIT),
  Department of Electrical Engineering and Computer Science (EECS) &
  Computer Science and Artificial Intelligence Laboratory (CSAIL),
  User Interface Design (UID) Group
• Frederick C. Hennie III Teaching Award for Teaching Excellence
• Firedoclipse: fast full documentation in Eclipse & Firefox
• Codetrail: Connecting Source Code and Web Resources, JVLC Aug. ’09
• Codetrail: Connecting Source Code and Web Resources, VL/HCC ’08
• Technion – Israel Institute of Technology,
  Computer Science Department
• MAVEN: Modular Aspect Verification, TACAS ’07
• Modular Verification of Aspects, MSc thesis
• Modular Generic Verification of LTL Properties for Aspects, FOAL ’06
• Middle East Education through Technology (MEET)