• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
Address: Room 325, Building 3, Kochnovskiy Proezd, Moscow
Download CV
ORCID: 0000-0002-4536-0419
ResearcherID: A-5206-2014
Scopus AuthorID: 6701808416
Google Scholar
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!

Andre Scedrov

  • Andre Scedrov has been at HSE since 2014.

Education and Degrees

  • 1981
  • 1977

    University of Zagreb

Editorial board membership

2005: Member of the Editorial Board, Journal of Computer Security.


  • 2016
    Formal Modeling and Analysis of Timed Systems, 14th International Conference, FORMATS 2016 (Quebec City). Presentation: Timed Multiset Rewriting and the Verifcation of Time-Sensitive Distributed Systems.
  • Symposium on Logical Foundations of Computer Science (LFCS 2016) (Дирфилд-Бич). Presentation: On Lambek’s Restriction in the Presence of Exponential Modalities

  • The 21st Conference on Formal Grammar (Больцано). Presentation: Undecidability of the Lambek calculus with a relevant modality
  • 2015

    4th Conference on Principles of Security and Trust (POST 2015) (Лондон). Presentation: Discrete vs. Dense Times in the Verification of Cyber-Physical Security Protocols

  • 18th IACR International Conference on Practice and Theory in Public-Key Cryptography (Gaithersburg). Presentation: Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds

  • The Fourth Annual Conference Logic and Applications (Дубровник). Presentation: Discrete vs. Dense Times in the Verification of Cyber-Physical Security Protocols

  • 2014

    33rd Annual IEEE International Conference on Computer Communications (INFOCOM 2014) (Торонто). Presentation: A Reduction-based Approach Towards Scaling Up Formal Analysis of Internet Configurations


Employment history

2013 - 2016: Chair, Department of Mathematics, University of Pennsylvania

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.