Markus Norman Rabe

Researcher/Software Engineer, Google

  • Joined September 2018

Names

Markus Norman Rabe (Preferred)
,
Markus N. Rabe

Emails

****@gmail.com (Confirmed)
,
****@google.com (Confirmed)

Career & Education History

Researcher/Software Engineer
Google (google.com)
2018Present
 
Postdoc
University of California Berkeley (berkeley.edu)
20152018
 
PhD student
Saarland University (uni-saarland.de)
20102016
 

Advisors, Relations & Conflicts

Social
Present
 
Coauthor
2020Present
 
Postdoc Advisor
20152018
 
PhD Advisor
Bernd Finkbeiner
20102016
 

Expertise

deep learning
2017Present
 
Machine Learning
2017Present
 
Artificial Intelligence
2014Present
 
computational logics
2010Present
 
Theorem proving
20182023
 
reinforcement learning
20172021
 
Formal methods
20092020
 
Quantified Boolean Formulas
20152018
 
satisfiability
20142018
 
information-flow control
20102016
 
Information-flow Security
20102016