Markus Norman Rabe (Preferred)
, Markus N. Rabe
Markus Norman Rabe
- Joined September 2018
Names
Emails
****@gmail.com (Confirmed)
, ****@google.com (Confirmed)
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
PhD Advisor
Bernd Finkbeiner
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