I am currently employed as a PhD student at Uppsala University, where I am working on formal verification of concurrent systems with my supervisors Parosh Abdulla, Bengt Jonsson and Mohamed Faouzi Atig.

I am interested in formal and automated verification, as well as interactive theorem proving, using tools such as Lean, Coq, and Isabelle.

As my PhD draws to an end, I am looking for employment as a postdoctoral researcher in one of the above mentioned areas.