Dr. Ahmet Kara

Research Interests

  • Database Theory
  • Logics, Automata, and Games
  • Finite-State Model Checking
  • Verification of Infinite-State Systems


  • 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