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
Explore this link on the map →related reading
- Study Guide — LessWronglesswrong.com
- What every computer science major should knowmatt.might.net
- Computational Complexityblog.computationalcomplexity.org
- Kartik Chandracs.stanford.edu
- Computational Complexity Theory (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Categories for AIcats.for.ai
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- Why Programmers Should(n't) Learn Theory | Path-Sensitivepathsensitive.com
- [1108.1791] Why Philosophers Should Care About Computational Complexityarxiv.org
- Theory at Berkeleytheory.cs.berkeley.edu
- Logic in Computer Sciencecourses.grainger.illinois.edu
- Boaz Barakboazbarak.org