Biography

I am a PhD student at Imperial College London under the supervision of Azalea Raad as part of the Veritas Lab. My research interests include formal methods and their application on software verification, as well as the development of logical foundations for programming languages. I have always been interested in pure mathematical reasoning and I found in these fields of Computer Science a way to nurture that interest while contributing with a direct impact in society. Threading on the boundary between theory and practice is something I wish to explore at this early stage of my career.
Interests
  • Programming Languages
  • Program Logics
  • Formal Methods
  • Software Verification
Education