Max Goldman

• Massachusetts Institute of Technology (MIT),
  Department of Electrical Engineering and Computer Science (EECS)
• 6.102: Software Construction
  spring ’24
• 6.101: Fundamentals of Programming
  fall ’23
• 6.031: Software Construction
  spring ’22, fall ’21, spring ’21, fall ’20, spring ’20, fall ’19, spring ’19, fall ’18, spring ’18, fall ’17, spring ’17
• 6.005: Software Construction
  fall ’16, spring ’16, fall ’15, spring ’15, fall ’14, spring ’14, fall ’13, spring ’13
• Teaching with Digital Technology Award
  remote classroom, ’21
  in-class pair programming, ’16
• Constellation: classroom collaborative coding in Eclipse
• Didit: The Classroom Continuous Build Butler
• Massachusetts Institute of Technology (MIT),
  Department of Electrical Engineering and Computer Science (EECS) &
  Computer Science and Artificial Intelligence Laboratory (CSAIL),
  Usable Programming Group (UP, formerly User Interface Design)
• Software Development with Real-Time Collaborative Editing, PhD thesis
• Collabode: a web-based IDE for close collaboration
• Real-Time Collaborative Coding in a Web IDE, UIST ’11
• Collabode: Collaborative Coding in the Browser, CHASE ’11
• Test-Driven Roles for Pair Programming, CHASE ’10
• 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
  Most Influential Paper Award, VL/HCC ’18
• Technion – Israel Institute of Technology,
  Computer Science Department
• MAVEN: Modular Aspect Verification and Interference Analysis, JFMSD Nov. ’10
• MAVEN: Modular Aspect Verification, TACAS ’07
• Modular Verification of Aspects, MSc thesis
• Modular Generic Verification of LTL Properties for Aspects, FOAL ’06
• Middle East Entrepreneurs of Tomorrow (MEET, formerly Middle East Education through Technology)