Ahmet Kara

Ahmet Kara

Researcher

E: ahmet.kara@cs.ox.ac.uk

T: +44 (0)1865 610590

Wolfson Building, Parks Road, Oxford OX1 3QD

Themes:

• Information Systems

Interests

• Database Theory 
  • Currently working on Factorised Databases
• 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