Christoph Wintersteiger

Christoph M. Wintersteiger is a Senior Computer Scientist at Imandra since October 2023. Prior to this role, Wintersteiger accumulated extensive experience at Microsoft Research from November 2010 to August 2023, serving as a Senior Research Software Development Engineer, Researcher, and Postdoctoral Researcher. Wintersteiger also worked as a Research Assistant at ETH Zurich from May 2006 to October 2010 and completed multiple internships at Microsoft Research's Cambridge and Redmond locations between November 2008 and May 2010. Wintersteiger earned a Ph.D. in Computer Science from ETH Zürich (2006-2011) and a Master’s degree in Computer Science from Johannes Kepler Universität Linz (2001-2006), having also attended Technische Universität Graz from 1999 to 2001.