recent activities

  • betty summer school 2016 | lecturer
  • onward! 2016 essays | pc member
  • esop'16 | pc member
  • coordination'16 | pc member
  • concur'15 | pc member
  • ictac'15 | pc member
  • concur'14 | invited speaker
  • betty summer school 2014 | lecturer
  • popl'14 | tutorial
  • wednesday morning club
  • gloss _ {Lasige} Group of Software Systems | head
  • the journal of object technology | editorial board member
  • (read more...)