Markus Norman Rabe (Preferred)
, Markus N. Rabe
Markus Norman Rabe
Names
Emails
****@gmail.com
, ****@google.com
Personal Links
Education & Career 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
Advisors, Relations & Conflicts
Social
Josef Urban
****@gmail.com
Present
Coauthor
Yuhai Wu
****@cs.toronto.edu
2020 – Present
Postdoc Advisor
Sanjit A. Seshia
****@eecs.berkeley.edu
2015 – 2018
PhD Advisor
Bernd Finkbeiner
****@cs.uni-saarland.de
2010 – 2016
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