• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
+7 (495) 772-95-90
Address: 11 Pokrovsky Bulvar, Pokrovka Complex, room S938
Download CV
ORCID: 0000-0002-7502-1653
ResearcherID: M-6531-2015
Scopus AuthorID: 56117921300
Google Scholar
Office hours
по согласованию по эл.почте
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.

Max Kanovich

  • Max Kanovich has been at HSE University since 2015.

Education, Degrees and Academic Titles

  • 1991
  • 1989

    Doctor of Sciences*

  • 1968

    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.

Student Term / Thesis Papers

Full list of of student term / thesis papers

Courses (2020/2021)

Courses (2019/2020)

Courses (2018/2019)

Courses (2017/2018)

Fundamentals of Knowledge Representation (Postgraduate course’s programme; Faculty of Computer Science; field of study "02.06.01. Компьютерные и информационные науки", field of study "09.06.01. Информатика и вычислительная техника"; 1 year, 1 semester)Eng

Courses (2015/2016)


  • 2019
    WoLLIC 2019 (Утрехт). Presentation: The complexity of multiplicative-additive Lambek calculus: 25 years later
  • 2018

    9th International Joint Conference on Automated Reasoning (IJCAR 2018) (Оксфорд). Presentation: A logical framework with commutative and non-commutative subexponentials

  • Formal Grammar 2018 (София). Presentation: A logical framework with commutative and non-commutative subexponentials
  • 2017
    Fundamentals of Computation Theory (FCT 2017) https://fct2017.labri.fr/ (Бордо). Presentation: A polynomial-time algorithm for the Lambek calculus with brackets of bounded order
  • 2015
    4th Conference on Principles on Security and Trust (POST) (London). Presentation: Discrete vs. Dense Times in the Verification of Cyber-Physical Security Protocols.
  • 2014
    17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014 (Grenoble). Presentation: Foundations for Decision Problems in Separation Logic with General Inductive Predicates.
  • 2013
    18th European Symposium on Research in Computer Security, ESORICS 2013 (Egham). Presentation: Bounded Memory Protocols and Progressing Collaborative Systems.
  • 2012
    23rd International Conference on Rewriting Techniques and Applications, RTA 2012 (Nagoya). Presentation: A Rewriting Framework for Activities Subject to Regulations.
  • ACM International Health Informatics Symposium, IHI '12 (Miami, FL). Presentation: Towards an automated assistant for clinical investigations.


Employment history

I have been working at many universities in Russia, France, Australia, Japan, the U.S., and the United Kingdom, including long-term teaching and research engagements at Tver, RGGU, Tohoku and Keio Universities, and the University of Pennsylvania, Queen Mary, University of London, and University College London.


Timetable for today

Full timetable