Skip to main content

Ahmet Kara

Personal photo - Ahmet Kara

Ahmet Kara

Researcher

Leaving date: 30th April 2020

Interests

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

Biography

  • since 2016: Reasearcher at the University of Oxford
  • 2009 - 2015: Research Assistant and PhD Student at the Technical University of Dortmund

Supervisor