Beyazit Yalcinkaya

I'm a CS PhD candidate at UC Berkeley, working at the intersection of artificial intelligence and formal methods.