Image of Marc Brockschmidt

Marc Brockschmidt

Researcher @ Microsoft

Senior Principal Researcher at Microsoft

Cambridge, United Kingdom

Ranked #1,073 out of 21,460 for Researcher in United States

Section title

Marc Brockschmidt's Email Addresses & Phone Numbers

Marc Brockschmidt's Work Experience



April 2015 to Present


Postdoc Researcher

November 2013 to April 2015

RWTH Aachen University

Research & Teaching Assistant

April 2010 to September 2013

Kreisfreie Stadt Aachen Area, Germany

Marc Brockschmidt's Education

RWTH Aachen University

Doctor of Philosophy (PhD) Computer Science

2010 to 2013

RWTH Aachen University

Master of Science (M.Sc.) Computer Science

2005 to 2010

Marc Brockschmidt's Professional Skills Radar Chart

Based on our findings, Marc Brockschmidt is ...


What's on Marc Brockschmidt's mind?

Based on our findings, Marc Brockschmidt is ...

57% Left Brained
43% Right Brained

Marc Brockschmidt's Estimated Salary Range

About Marc Brockschmidt's Current Company


Frequently Asked Questions about Marc Brockschmidt

What company does Marc Brockschmidt work for?

Marc Brockschmidt works for Microsoft

What is Marc Brockschmidt's role at Microsoft?

Marc Brockschmidt is Researcher

What is Marc Brockschmidt's personal email address?

Marc Brockschmidt's personal email address is ma****[email protected]

What is Marc Brockschmidt's business email address?

Marc Brockschmidt's business email addresses are not available

What is Marc Brockschmidt's Phone Number?

Marc Brockschmidt's phone +44 ** **** *595

What industry does Marc Brockschmidt work in?

Marc Brockschmidt works in the Computer Software industry.

Who are Marc Brockschmidt's colleagues?

Marc Brockschmidt's colleagues are Fernando Carpio, Martin Massa Morón, xiao wang, Nicolas MOREAU, Nicolas Gaume, Aleksander Callebat, Layla Asri, Alexa Bempt, cédric dupui, and Victor Coulon

About Marc Brockschmidt

📖 Summary

Researcher @ From April 2015 to Present (9 months) Postdoc Researcher @ * Termination analysis for integer programs in T2 * Complexity analysis for integer programs in KoAT * Inference of Heap Invariants via Machine Learning * Compositional program verification with Max-SMT From November 2013 to April 2015 (1 year 6 months) Research & Teaching Assistant @ * Termination analysis for Java, C, and integer programs in AProVE * Complexity analysis for integer programs in KoAT From April 2010 to September 2013 (3 years 6 months) Kreisfreie Stadt Aachen Area, GermanyResearch Intern @ * Termination analysis for integer programs in T2 From October 2012 to December 2012 (3 months) Software Developer @ Assisting customers in choosing, adapting and developing F/OSS projects for their use. Specific projects: * High-throughput, configurable mail-filtering solutions for large user bases (using postfix, amavis, spamassassin, and custom web interfaces) * Customized Debian-based Linux distributions * New and adapted workflows in ticket systems (OTRS) From September 2006 to June 2009 (2 years 10 months) Doctor of Philosophy (PhD), Computer Science @ RWTH Aachen University From 2010 to 2013 Master of Science (M.Sc.), Computer Science @ RWTH Aachen University From 2005 to 2010 Marc Brockschmidt is skilled in: Computer Science, Formal Verification, Software Verification, Static Analysis, Termination Analysis, Java, F#, LaTeX, Perl, Shell Scripting, OCaml, Machine Learning

Marc Brockschmidt’s Personal Email Address, Business Email, and Phone Number

are curated by ContactOut on this page.

10x your recruitment & sales conversations

Contact over 200M professionals
instantly by email or phone. Reveal
personal & work email addresses, as
well as phone numbers accurately with
our ContactOut Chrome extension.

In a nutshell

Marc Brockschmidt's Personality Type

Extraversion (E), Intuition (N), Thinking (T), Judging (J)

Average Tenure

1 year(s), 9 month(s)

Marc Brockschmidt's Willingness to Change Jobs



Open to opportunity?

There's 93% chance that Marc Brockschmidt is seeking for new opportunities

Engage candidates 10x faster

Enjoy unlimited access and discover candidates outside of LinkedIn

Trusted by 400K users from

76% of Fortune 500 companies

Microsoft Nestle PWC JP Morgan Merck Rackspace WarnerMedia Randstad Yelp Google

The most accurate data ever

CCPA Compliant
GDPA Aligned
150M Personal Emails
300M Work Emails
50M Direct Dials
200M Professional Profiles
30M Company Profiles

Hire Anyone, Anywhere
with ContactOut today

Making remote or global hires? We can help.

  • 50 contacts/month
  • Works on standard LinkedIn only
  • Work emails, personal emails, mobile numbers
* 1 user per company limit

No credit card required

Try ContactOut for Free