• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
+7(495) 772-9590 доб. 22668
Address: Moscow, Kochnovsky proezd, 3
ORCID: 0000-0002-7502-1653
ResearcherID: M-6531-2015
Scopus AuthorID: 56117921300
Google Scholar
Consultation 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 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 (2018/2019)

Automated Methods for Program Verification (Master’s programme; Faculty of Computer Science; programme "Data Science"; 1 year, 1, 2 module)Eng


  • 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