Marc Brockschmidt

Marc Brockschmidt

I'm a Postdoc researcher at Microsoft Research in the Programming Principles and Tools group in Cambridge.

My research focuses on proving (mostly temporal) program properties, such as termination, complexity bounds or general CTL properties. Some of my work is implemented in T2, successor to the original TERMINATOR project. I am also very much interested in applying this work to problems from related areas.

I obtained my PhD at RWTH Aachen under the supervision of J├╝rgen Giesl, where I worked on termination and complexity analysis of (Java) programs in the AProVE system. There, I focussed on heap abstractions in the analysis object-oriented programs.