Portrait of Marc Brockschmidt

Marc Brockschmidt

Senior Principal Research Manager

About

I’m a Researcher at Microsoft Research in the All Data AI and Programming Principles and Tools groups in Cambridge.

My research focuses on topics around software developer productivity. This includes fully automatic analyses of implicitly specified properties (such as memory safety, termination or complexity) and the use of machine learning techniques to help where classical program analysis fails. Most of my recent work was done in the context of the Deep Program Understanding project. For a list of my publications, have a look at my Scholar page.

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. There, I focused on heap abstractions in the analysis of object-oriented programs, and details can be found on my old website.