• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
Contacts
Phone:
+7(495) 772-9590 доб. 22668
E-mail:
Address: Moscow, Kochnovsky proezd, 3
Timetable
ORCID: 0000-0002-7502-1653
ResearcherID: M-6531-2015
Scopus AuthorID: 56117921300
Google Scholar
Supervisor
S. O. Kuznetsov
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Max Kanovich

  • Max Kanovich has been at HSE since 2015.

Education, Degrees and Academic Titles

  • 1991
    Professor
  • 1989

    Doctor of Sciences*

  • 1968

    Diploma
    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 (2017/2018)

Courses (2016/2017)

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

Courses (2015/2016)

Courses (2014/2015)

Applied Graph Theory (Bachelor’s programme; Faculty of Computer Science; programme "Applied Mathematics and Information Science"; 4 year, 3 module)Rus

Conferences

  • 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.

Publications20


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