Markus Norman Rabe

Google

Names

How do you usually write your name as author of a paper? Also add any other names you have authored papers under.

Markus Norman Rabe (Preferred)

Emails

Enter email addresses associated with all of your current and historical institutional affiliations, as well as all your previous publications, and the Toronto Paper Matching System. This information is crucial for deduplicating users, and ensuring you see your reviewing assignments.

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

Education & Career History

Enter your education and career history. The institution domain is used for conflict of interest detection and institution ranking. For ongoing positions, leave the end field blank.

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

Enter all advisors, co-workers, and other people that should be included when detecting conflicts of interest.

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

For each line, enter comma-separated keyphrases representing an intersection of your interests. Think of each line as a query for papers in which you would have expertise and interest. For example: deep learning, RNNs, dependency parsing

Theorem proving
2018Present
 
reinforcement learning
2017Present
 
deep learning
2017Present
 
Machine Learning
2017Present
 
Quantified Boolean Formulas
2015Present
 
satisfiability
2014Present
 
Artificial Intelligence
2014Present
 
computational logics
2010Present
 
Formal methods
2009Present
 
information-flow control
20102016
 
Information-flow Security
20102016