I am a 1st-year Computing PhD Student and Teaching Scholar at Imperial College London, working in Incorrectness Logic under the supervision of Azalea Raad as part of the Veritas Lab.
Interests
- Program Logics
- Verification
- Formal Methods
Education
PhD Doctoral Teaching Programme in Computing
Imperial College London
MEng Computer Science
University College London