• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
Contacts
Phone:
+7(495) 772-9590 доб. 22668
E-mail:
Timetable
Download CV (PDF, 197 Kb)
ORCID: 0000-0002-2210-5183
ResearcherID: M-6857-2015
Scopus AuthorID: 6602982360
Google Scholar
Consultation hours
по согласованию по эл. почте
Supervisor
S. Kuznetsov
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.

Mikhail Zakharyaschev

  • Mikhail Zakharyaschev has been at HSE University since 2015.

Education and Degrees

  • 1998

    Doctor of Sciences*

  • 1978

    Degree
    Lomonosov Moscow State University

* Doctor of Sciences
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.

Professional Interests

Student Term / Thesis Papers

Full list of of student term / thesis papers

Courses (2019/2020)

Courses (2018/2019)

Courses (2017/2018)

Courses (2016/2017)

Courses (2015/2016)

Courses (2014/2015)

Editorial board membership

  • 2011: Guest Editor, Artificial Intelligence.

  • 2011: Member of the Editorial Council, Journal of Applied Logic.

  • 2011: Guest Editor, Studia Logica.

Conferences

  • 2015
    24th International Joint Conference on Artificial Intelligence, IJCAI 2015 (Buenos Aires). Presentation: When Are Description Logic Knowledge Bases Indistinguishable?
  • 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 (Buenos Aires). Presentation: First-Order Rewritability of Temporal Ontology-Mediated Queries.
  • 28th International Workshop on Description Logics (Athens). Presentation: Conservative Rewritability of Description Logic TBoxes: First Results.
  • 28th International Workshop on Description Logics (Athens). Presentation: Interval Temporal Description Logics.
  • 29th AAAI Conference on Artificial Intelligence (Austin, Texas). Presentation: Tractable Interval Temporal Propositional and Description Logics.
  • 2014
    13th International Semantic Web Conference, ISWC 2014 (Riva del Garda). Presentation: Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime.
  • Reasoning on the Web in the Big Data Era - 10th International Summer School 2014 (Athens). Presentation: An Introduction to Description Logics and Query Rewriting.
  • 14th International Conference on Principles of Knowledge Representation and Reasoning, KR 2014 (Vienna). Presentation: Query Inseparability for Description Logic Knowledge Bases.
  • 27th International Workshop on Description Logics (Vienna). Presentation: Query Inseparability by Games.
  • 27th International Workshop on Description Logics (Vienna). Presentation: Temporal OBDA with LTL and DL-Lite.
  • Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14 (Vienna). Presentation: On the succinctness of query rewriting over shallow ontologies.
  • 2013
    12th International Semantic Web Conference, ISWC 2013 (Sydney). Presentation: Ontology-Based Data Access: Ontop of Databases.
  • 9th International Summer School 2013 (Mannheim). Presentation: Ontology-Based Data Access with Databases: A Short Course.
  • 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013) (Montpellier). Presentation: Ontop at Work.
  • 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013) (Ulm). Presentation: OBDA with Ontop.
  • Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19 (Stellenbosch). Presentation: The Complexity of Clausal Fragments of LTL.
  • 23rd International Joint Conference on Artificial Intelligence (Beijing). Presentation: Temporal Description Logic for Ontology-Based Data Access.
  • 26th International Workshop on Description Logics (Ulm). Presentation: Query Rewriting and Optimisation with Database Dependencies in Ontop.
  • 26th International Workshop on Description Logics (Ulm). Presentation: Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard.
  • 26th International Workshop on Description Logics (Ulm). Presentation: Query Answering via Modal Definability with FaCT++: First Blood.
  • 26th International Workshop on Description Logics (Ulm). Presentation: Query Rewriting over Shallow Ontologies.
  • 26th International Workshop on Description Logics (Ulm). Presentation: Temporalising OWL 2 QL.
  • 2012
    13th International Conference on Principles of Knowledge Representation and Reasoning, KR 2012 (Rome). Presentation: Conjunctive Query Answering with OWL 2 QL.
  • Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012 (Warwick). Presentation: Exponential Lower Bounds and Separation for Query Rewriting.
  • 2012 International Workshop on Description Logics, DL-2012 (Rome). Presentation: Long Rewritings, Short Rewritings.
  • 2011
    22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) (Барселона). Presentation: On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces

Publications27

Timetable for today

Full timetable

HSE and University of London: Joint BA Programme in Applied Data Analysis

In 2018, the Higher School of Economics will launch an English-taught double degree programme in partnership with the University of London in Applied Data Analysis. Graduates will be awarded an undergraduate degree from HSE in Applied Mathematics and Information Science and a Bachelor of Science in Data Science and Business Analytics from the University of London. International applicants are invited to apply online starting November 15, 2017.

10th International Computer Science Symposium in Russia

On July 13th-17th 2015, the 10th International Computer Science Symposium in Russia took place. The largest conference on theoretical informatics in Russia was organized by Irkutsk State University, the Higher School of Economics and Yandex. Vladimir Podolskii, Associate Professor at the Big Data and Information Retrieval School took part in the event as guest speaker. Maxim Babenko, Head of the Joint Department with Yandex also delivered a report during the event.