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