Skip to content Search
Search our website:

Research Associates

Val Katerinchuk

Val Katerinchuk

  • Postdoctoral Research Assistant
Yury Savateev

Yury Savateev

  • Postdoctoral Researcher
  • Research areas: Ontology-mediated queries, automata theory, modal logic, proof theory