recent activities

  • concur'14 | invited speaker
  • betty summer school 2014 | lecturer
  • shonan meeting on software contracts for communication, monitoring, and security
  • linearity'14 | pc member
  • places'14 | pc co-chair
  • principles and practice of session types | tutorial at popl'14
  • 4pad | pc member
  • etaps'13 | Honda tribute
  • coordination'13 | pc member
  • wednesday morning club
  • gloss _ {Lasige} Group of Software Systems | head
  • the journal of object technology | editorial board member
  • (read more...)