Theo Olausson

I am a Ph.D. student in computer science at MIT working with Prof. Armando Solar-Lezama. I am extremely grateful to have been supported by a Presidential Fellowship ('21).

Broadly speaking, I enjoy applying mathematical techniques to difficult problems at the intersection of theory and practice across computer science. My current research interests lie in neurosymbolic AI, (neural) program synthesis, and more generally the intersection of machine learning, programming and cognitive science.

Before starting my PhD, I graduated at the top of my class with a Master's degree in Informatics from the University of Edinburgh.