Picture of Jürgen Cito

Jürgen Cito

Postdoctoral Researcher
Office: 32-G740
Email: jcito [at] mit.edu

Google Scholar | GitHub | Twitter

I am a postdoc at MIT CSAIL, working with Martin Rinard. I received my PhD in February 2018 at University of Zurich (Switzerland), working with Philipp Leitner and Harald Gall. During my PhD, I was a research intern at IBM Watson Research Center in New York. I received my master's and bachelor's degree in Computer Science from the Technical University of Vienna.

Recent News

Research Interests

My current research interests are in programming languages and how they relate to computing and industrial infrastructure. I am interested in developing approaches to produce reliable infrastructure through synthesis and verification techniques.


Selected Publications