Primary Job Title Senior Principal Researcher Primary Organization 
Microsoft Research
Location Cambridge, Cambridgeshire, United Kingdom Regions Europe, Middle East, and Africa (EMEA) Gender Male
Website www.microsoft.com/en-us/research/people/mabrocks/ Facebook View on Facebook LinkedIn View on LinkedIn
Marc Brockschmidt is a Researcher at Microsoft Research in the Programming Principles and Tools group in Cambridge.
Brockschmidt's 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 recently, Brockschmidt also returned to some of his F/OSS roots and started studying the efficient use of build systems with colleagues in MSR and TSE.
Brockschmidt obtained his Ph.D. at RWTH Aachen under the supervision of Jürgen Giesl, where he worked on termination and complexity analysis of (Java) programs. There, Brockschmidt focused on heap abstractions in the analysis of object-oriented programs.
