Dr. Ahmet Kara

Research Interests

Database Theory
- Currently working on Factorised Databases
Logics, Automata, and Games
Finite-State Model Checking
Verification of Infinite-State Systems

Biography

Since May 2020: Senior researcher (Oberassistent) in the DAST group, Department of Informatics, University of Zurich
October 2016 - May 2020: Postdoctoral reasearcher in the Department of Computer Science, University of Oxford
2009 - 2015: Research Assistant and PhD Student at the Technical University of Dortmund