I work at the intersection of logic, mathematics and computer science. Currently, I am working on three different projects, involving static analysis of code in compilers, specification of reversible networks, and the theory of process algebras. My co-authors are in France and the US, and I have mentored undergraduate, master and graduate students.

Before applying for this opportunity you need to submit your online profile. Click the button below to continue.