About Me

I am a PhD student at the School of Computer and Cyber Sciences at Augusta University. My advisor is Dr. Clément Aubert.

My research interests lie within the broader fields of formal methods and theoretical computer science, with a focus on process algebra, interactive theorem proving, reversible computation and concurrency.

I am currently working on the Concurrency in Reversible Computations project, whose aim is to improve the current specification languages for concurrent reversible programs. In particular, I am working on the formalization of reversible concurrent calculi with proof assistants such as Rocq and Beluga.