I am a 2nd-year Computing PhD Student and Teaching Scholar at Imperial College London, working in Program Logics and Verification under the supervision of Azalea Raad and Sacha-Élie Ayoun as part of the Veritas Lab.
Interests
- Incorrectness Logic
- Static Analysers
- Programming Languages
Education
PhD Doctoral Teaching Programme in Computing
Imperial College London
MEng Computer Science
University College London