Professional Activities and Memberships
- Advisory board member for The Research Institute on Verified Trustworthy Software Systems (VETTS)
- Fellow of The Higher Education Academy (FHEA)
- Program committee member:
ASPLOS 2024 ERC, PLDI 2023 RC, OCaml 2020, BAPL 2020, SOAP 2020 PC, Onward! 2017, HVC 2017, PLDI 2016, OOPSLA 2016 EPC, CAV 2016 ERC, PLDI 2015, POPL 2015, ECOOP 2014 ERC, PLDI 2013 ERC, CC 2013, VMCAI 2013, ISMM 2012, FoSSaCS 2011, PLDI 2011 ERC, ESOP 2010, CAV 2010, SAS 2010, VSTTE 2010, VMCAI 2010, VMCAI 2009, FTfJP 2009, FMICS 2009 - Workshop co-organizer:
- Verification of Concurrent Data Structures (Verico) co-located with POPL 2011
- Tools for Automatic Program AnalysiS (TAPAS) co-located with SAS 2011
- Member of discussion panel
- Women in Logic 2024
- "Great scientific testing and verification work that is just on the cusp of industrial uptake and impact" at FaceTAV 2017