Here you can find details of some of my professional
activities and affiliations.
Selected Board Memberships
Selected PC Memberships
- 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.
Memberships and Affiliations
-
Institute of Security Science and Technology (ISST) at Imperial College
-
Association for Logic Programming
-
British Computing Society Requirements Engineering Specialist Group
-
Applied Logic Group