Open PanelClose Panel

Events

• » PC member of PPDP 2023
• » PC member of IJCAR 2022
• » PC member of FSCD 2022
• » PC member of WRLA 2022
• » Invited Speaker of FORMALS 2021
• » PC member of PPDP 2021
• » PC member of CADE 2021
• » Invited Speaker of FORMALS 2020
• » Invited Speaker of LSFA 2019
• » PC member of CPP 2020
• » Invited Speaker of FORMALS 2019
• » PC-Chair of WPTE 2019
• » PC member of GraMSec 2019
• » PC member of CADE 2019
• » Invited Speaker at LAP’18
• » PC member of PLAS 2018
• » PC member of WPTE 2018
• » PC member of FSCD 2018
• » PC member of WRLA 2018
• » PC member of CPP 2018
• » PC member of PxTP 2017
• » PC member of HOPE 2017
• » PC member of PPDP 2017
• » PC member of LSFA 2017
• » PC member of TMPA 2017
• » Invited Speaker at LAP’16
• » External Reviewer of POPL’17
• » PC member of FTSCS’16
• » PC member of Linearity’16
• » Co-Chair of LSFA’16
• » PC member of FSCD’16
• » PC member of LICS’16
• » PC member of WRLA’16
• » Organizing the Shonan Meeting of Logic and Verification Methods in Security and Privacy
• » Panelist for WRNP’15
• » Invited Speaker for LFMTP’15
• » PC member of ICTAC’15
• » PC member of LSFA’15
• » PC member of WoLLIC’15
• » PC member of CPP’15
• » PC member of RTA/TLCA’14
• » PC member of LSFA’11,12,14,15
• » PC member/Organizing Committee of IMLA’13