Activities
Dagstuhl seminar 21192 Approaches and Applications of Inductive Programming
OOPSLA 2019 ERC member
SOAP 2018 PC member
POPL 2017 ERC member
SAS 2016 PC member
PLDI 2014 PC member
TAPAS 2013 PC member
POPL 2012 ERC member
Dagstuhl seminar 21192 Approaches and Applications of Inductive Programming
OOPSLA 2019 ERC member
SOAP 2018 PC member
POPL 2017 ERC member
SAS 2016 PC member
PLDI 2014 PC member
TAPAS 2013 PC member
POPL 2012 ERC member