Serdar Tasiran
Principal Applied Scientist
Automated Reasoning Group
AI and Data
serdar@berkeley.edu