Page not in menu
This is a page not in the menu. You can use markdown in this page.
Beyazit Yalcinkaya
I'm a CS PhD candidate at UC Berkeley, working at the intersection of artificial intelligence and formal methods.
- Oakland, California
- University of California, Berkeley
- Google Scholar
- ORCID
- Github