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
I'm a CS PhD candidate at UC Berkeley, working at the intersection of artificial intelligence and formal methods.