Theo X. Olausson     (he/him/his) theoxo@csail.mit.edu publications twitter

I am a Ph.D. student in computer science at MIT working with Prof. Armando Solar-Lezama. I work on reliable and steerable foundation models through the lens of program synthesis and neurosymbolic AI. I also have a strong interest in probabilistic machine learning.

Outside of work, I like to swim, bike, and run. I am passionate about community building, and have previously served as co-President of the MIT EECS Graduate Students' Association.

Before starting my PhD, I graduated at the top of my class with a Master's degree in Informatics from the University of Edinburgh. At Edinburgh I worked on design automation in computer architecture with Prof. Vijay Nagarajan.