Page not in menu
This is a page not in the menu. You can use markdown in this page.
Niklas Lauffer
I'm an EECS PhD student at UC Berkeley interested in reasearch at the intersection of learning, formal methods, and game theory.
- Berkeley, California
- Github
- Google Scholar
- ORCID