Theo Olausson

I am a Ph.D. student in computer science at MIT working with Prof. Armando Solar-Lezama. I am extremely grateful to be supported by a Presidential Fellowship.

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 combining symbolic reasoning with machine learning to build intelligent systems which are safe, interpretable, reliable and able to (truly) generalize.

Before starting my PhD, I obtained a Master's degree in Informatics from the University of Edinburgh.