Markus Norman Rabe (Preferred)
Markus N. Rabe
Markus Norman Rabe
Researcher/Software Engineer, Google
Joined
September 2018
Names
,
Emails
****@gmail.com (Confirmed)
****@google.com (Confirmed)
Personal Links
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
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
Publications
Co-Authors
- Aditya Paliwal
- Albert Q. Jiang
- Albert Qiaochu Jiang
- Bernd Finkbeiner
- Cameron Rasmussen
- Charles E Staats
- Charles Staats
- Christian Szegedy
- Christopher Hahn
- Daniel J. Fremont
- DeLesley Hutchins
- Dennis Lee
- Edward A. Lee
- Emily First
- Frederik Schmitt
- Gil Lederman
- Jens U. Kreber
- Jimmy Ba
- Kshitij Bansal
- Leander Tentrup
- Marcell Vazquez-Chanlatte
- Mateja Jamnik
- Peter Faymonville
- Roger B. Grosse
- Roger Baker Grosse