Markus Norman Rabe

Google

Names

Markus Norman Rabe (Preferred)
,
Markus N. Rabe

Emails

****@gmail.com
,
****@google.com

Education & Career 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
Josef Urban
****@gmail.com
Present
 
Coauthor
Yuhai Wu
****@cs.toronto.edu
2020Present
 
Postdoc Advisor
Sanjit A. Seshia
****@eecs.berkeley.edu
20152018
 
PhD Advisor
Bernd Finkbeiner
****@cs.uni-saarland.de
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