Ahmet Kara

Ahmet Kara

Researcher

Leaving date: 30th April 2020

Themes:

• Data, Knowledge and Action

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

Supervisor