Ralph Sarkis

I am a PhD student in theoretical computer science at LIP (ENS de Lyon) working under the supervision of Matteo Mio and Daniela Petrişan. I have a masters in theoretical computer science from ENS de Lyon and a BSc. in Mathematics and Computer Science from McGill University. My main interests are category theory, theory of computation and logic, but I am also an amateur of abstract algebra and algorithm design. My non-academic interests include but are not limited to playing squash, vegan cooking, programming (Python and JavaScript mostly), watching YouTube and playing Spikeball.

Ralph Sarkis Ralph Sarkis I am a postdoctoral fellow in computer science at PPLV (University College London). I did a PhD in theoretical computer science at LIP (ENS de Lyon), supervised by Matteo Mio and Valeria Vignudelli. I also have a masters in theoretical computer science from ENS de Lyon and a B.Sc. in Mathematics and Computer Science from McGill University. My main interests are category theory, theory of computation and logic. I have been keeping a sparse journal of my professional activities here . My non-academic interests include but are not limited to playing squash, vegan cooking

related reading

• Szymon Kaliskiszymonkaliski.com
• LYDIAlydia.ml
• my projectsdan-iel-lee.vercel.app
• Artur`s homepage | Artur Riazanovtunyash.github.io
• Aboutneekonvafa.com
• Shreya Shankarshreya-shankar.com
• Max von Hippelmxvh.pl
• Boaz Barakboazbarak.org
• Kartik Chandracs.stanford.edu
• [2510.01346] Aristotle: IMO-level Automated Theorem Provingarxiv.org
• i care aboutbuilding things that matter.yiannisha.dev
• Ralph Wiggum as a "software engineer"ghuntley.com