I am a post-doc at the Modélisation et Verification team at IRIF , Université Paris-Diderot , working with Constantin Enea on the verification of distributed systems. Before joining IRIF, I did my phD at the IMDEA Software Institute in Madrid, under the supervision of Aleks Nanevski . My thesis, Hoare-style Reasoning with Higher-order Control: Continuations and Concurrency , focused on the development and application of program logics aimed at the modular verification of stateful programs with higher-order
Curriculum Vitae: [PDF]
[ DBLP | Google Scholar | Mendeley | ResearchGate | ORCID ]