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.
This person is not in the org chart
This person is not in any teams
This person is not in any offices