Toggle navigation
OpenReview
.net
Login
×
Markus Norman Rabe
Researcher/Software Engineer, Google
Joined September 2018
Names
Markus Norman Rabe
(Preferred)
,
Markus N. Rabe
Suggest Name
Emails
****@gmail.com
(Confirmed)
,
****@google.com
(Confirmed)
Suggest Email
Personal Links
Homepage
Google Scholar
DBLP
Suggest URL
Career & Education History
Researcher/Software Engineer
Google
(google.com)
2018
–
Present
Postdoc
University of California Berkeley
(berkeley.edu)
2015
–
2018
PhD student
Saarland University
(uni-saarland.de)
2010
–
2016
Suggest Position
Advisors, Relations & Conflicts
Social
Josef Urban
Present
Coauthor
Yuhai Wu
2020
–
Present
Postdoc Advisor
Sanjit A. Seshia
2015
–
2018
PhD Advisor
Bernd Finkbeiner
2010
–
2016
Suggest Relation
Expertise
deep learning
2017
–
Present
Machine Learning
2017
–
Present
Artificial Intelligence
2014
–
Present
computational logics
2010
–
Present
Theorem proving
2018
–
2023
reinforcement learning
2017
–
2021
Formal methods
2009
–
2020
Quantified Boolean Formulas
2015
–
2018
satisfiability
2014
–
2018
information-flow control
2010
–
2016
Information-flow Security
2010
–
2016
Suggest Expertise