Dr Vladislav Ryzhikov

Overview

Biography

I work at Birkbeck from 2017 as a Lecturer in Computer Science.

Before that, I worked as an Assistant Professor (fixed term) at the Free University of Bozen-Bolzano, Italy, in the KRDB Research Centre for Knowledge and Data.

I completed my PhD studies at the Free University of Bozen-Bolzano in 2010 in in the area of Knowledge Representation and Reasoning with a thesis “DL-Lite for Static and Dynamic Conceptual Modeling”.

I completed my MSc and BSc studies in Ufa, Russia. 

Highlights

• Recently accepted for IJCAI 2023:

  Reverse Engineering of Temporal Queries Mediated by LTL Ontologies by Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev

Qualifications

• Fellow of Higher Education Academy, Advance HE, 2018
• PhD in Computer Science, Free University of Bozen-Bolzano, Italy, 2010
• MSc & BSc in Computer Science, Ufa State Aviation Technical University, 2005

Web profiles

• My publications on DBLP

Administrative responsibilities

• MSc Computer Science Programme director

Professional activities

Sponsorship committee chair of 19th International Conference on
Principles of Knowledge Representation and Reasoning, KR 2022

Invited Lecturer for workshop/tutorial “DatalogMTL: Theory and Practice of Temporal Reasoning” at 8th Federated Logic Conference (FLOC), Haifa, Israel, July 31st, 2022

Program committee chair of Description Logics Workshop, DL 2021

Invited Lecturer for short course“First-Order Rewritability of Temporal Ontology-Mediated Queries” in Declarative AI Reasoning Web Summer School 2020, Virtual

Program committee membership: KR (2023 - 2020,2018,2016), IJCAI (2021–2015, 2013), AAAI (2023–2019,2013), JELIA (2016, 2014), ECAI (2020,2018,2014), RR (2016), Description Logics Workshop (2020–2016, 2015, 2014, 2013), Workshop on Logics and Reasoning
for Conceptual Models (2016, 2013)

ORCID

0000-0002-6847-6465

Research

Research interests

• Knowledge Representation and Reasoning
• Data Management
• Spatial and Temporal Reasoning
• Description Logics

Research overview

In my current research, I apply well-known temporal and spatial logic formalisms to problems in the area of data management and analytics. I also extensively work on combining these formalisms with languages for representation of conceputual knowledge, such as description logics and Datalog, and with knowledge graph languages.

Research clusters and groups

• Member, Knowledge Representation and Data Management Research Group
• London Logic Forum

Research projects

Supervision and teaching

Supervision

I supervise between 5 and 10 MSc projects and between 1 and 5 BSc projects each year.

Teaching

I teach initial programming modules on postgrad conversion programmes related to computing. Usually my modules have large student numbers, and the students have very various backgrounds. My goal is to give all of them a solid foundation in programming to enable further studies on their programmes.

My modules usually feature online or hybrid (online+in-person) learning activities.

Apart from on-campus programmes, I teach

• Principles of Programming for the University of London Woldwide programme MSc Computer Science

Teaching modules

• Principles of Programming (BUCI063H7)

Publications

External Repositories