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.
I also published a satirical paper in SIGBOVIK'24.
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 8This 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).