When I became the sun
I shone life into the man's heart.
-System Of A Down
Hey there!
I am a PhD student at MPI-SWS. I work with Prof Joël Ouaknine. Here is my CV.
Thanks for visiting!
I am primarily interested in solving theoretical computer-scientific problems that lie at the intersection of dynamical systems, number theory, and logic. I am also interested in concurrent systems, and especially in the modelling and verification of concurrent programs running under weak memory.
Here are my contact details, sorted in decreasing order of preference