Here you can find details of some of my professional
activities and affiliations.
Selected PC Memberships
- 2023: ICSE main track, FM, RE@Next! track.
- 2022: ICSE main track, RE main track,
ESEC/FSE main track, AAAI, ASE main track.
- 2021: ICSE Doctoral Symposium, ESEC/FSE main track, RE main track, IJCAI main track, FORMALISE.
-
2020: ICSE main track, ICSE NIER, IJCAI main track, RE main track, ILP.
-
2019: ICSE main track, IJCAI,
ASE LBR track, SANER Industry track, FM research track, FM Doctoral Symposium, RE@Next, ILP.
-
2018: ICSE main track, ICSE NIER track, FORMALISE,
RE@Next! track.
-
2017: ICSE main track, SEFM, RE RE@Next! track, ILP, SEAMS@ICSE, ECAS@SASO.
Selected Board Memberships
Memberships and Affiliations
-
Institute of Security Science and Technology (ISST) at Imperial College
-
Association for Logic Programming
-
Applied Logic Group