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