Professional activities

• Senior Area Chair, ICLR 2025

• Senior Area Chair, NeurIPS 2024

• Program Chair, ICLR 2024

• Area Chair, NeurIPS 2023

• Area Chair, ICML 2023

• Program Committee, PLDI 2023

• Program Committee, CAV 2022

• Program Committee, LICS 2022

• Area Chair, NeurIPS 2022

• Area Chair, ICML 2022

• Area Chair, ICLR 2022

• Area Chair, NeurIPS 2021

• Area Chair, ICML 2021

• Program Committee, PLDI 2021

• Program Committee, AAAI 2021

• Program Committee, VMCAI 2021

• Area Chair, ICLR 2021

• Area Chair, NeurIPS 2020

• Program Committee, UAI 2020

• Program Committee, CAV 2020

• Area Chair, Software Verification, CAV 2019

• Program Committee, UAI 2019

• PC member, POPL 2019

• PC member, CAV 2018

• PC member, PLDI 2017

• PC member, TACAS 2017

• PC member, CAV 2017

• Program co-chair, CAV 2016

• Chair, POPL-OBT 2015

• PC member, POPL 2015

• PC member, OOPSLA 2014

• PC member, PLDI 2013

• External review committee member, POPL 2013

• PC member, FOSSACS 2013

• Program co-chair, NSV 2012

• PC member, CAV 2012

• External review committee member, PLDI 2012

• PC member, POPL 2012

• Publicity Chair, POPL 2012

• PC member, ATVA 2011

• PC member, NSV 2011

• External review committee member, OOPSLA 2011

• Co-organizer, EC² 2011

• PC member, PLACES 2011

• PC member, Gandalf 2011

• Publicity Chair, POPL 2011

• PC member, VMCAI 2011

• Co-organizer, EC² 2010

• Publicity Chair, POPL 2010

• PC member, TACAS 2009

• PC member, LCTES 2009