About Me

In August 2021 I joined the Programming Group at the University of St. Gallen, Switzerland as a PhD student where I'm supervised by Prof. Guido Salvaneschi.

Between 2017 and 2021 I was an R&D software developer at Agilent Technologies.

In 2017 I earned my MSc in Computer Science from EPFL at the LAMP lab. In my thesis I simplified a polymorphic safe-and-precise effect system.

In 2015 I earned my BSc in Computer Science and a minor in Maths from AUB. My project was to design and implement a functional quantum language.

In my spare time I enjoy cycling, playing Go, and the mandolin.

Academic Interests

Publications

I also published a satirical paper in SIGBOVIK'24.