Skip to main content

Ahmet Kara

Personal photo - Ahmet Kara

Ahmet Kara

Researcher

E: ahmet.kara@cs.ox.ac.uk
T: +44 (0)1865 610590

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

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

Biography

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