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 July 2021 I was an R&D software developer at Agilent Technologies (formerly Genohm) in Lausanne, Switzerland.

In June 2017 I got my master's in Computer science from the École polytechnique fédérale de Lausanne (EPFL) at the LAMP lab. In my thesis I simplified conceptually a polymorphic safe-and-precise effect system.

In 2015 I got my bachelor's in computer science and a minor in mathematics from the American University of Beirut (AUB). My project was to design and implement a functional quantum language.

In my spare time, when I'm not programming, I am either reading, cycling, playing Go, or the mandolin.

Academic Interests

Publications

I also published a satirical paper in SIGBOVIK'24.

What is this graph above?

This graph is a 69-state quantum Turing machine [PDF] which takes as input a quantum state |k,x⟩ in a 6-dimensional Hilbert space and runs the following algorithm on it:

x ∈ ℕ8
k ∈ ℕ8
while |x-k| < 4:
    x := x + 1   mod 8
This machine is significant to me because it exhibits conditional looping (as opposed to a statically-known bounded loop) which I could not find an example of in the literature (pre-2016).