• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
+7 (495) 916-8876
+7 (495) 772-9590 доб. 15129
Address: 34 Tallinskaya Ulitsa, room 433
SPIN-RSCI: 4847-3258
ORCID: 0000-0001-8825-7318
ResearcherID: I-3488-2015
Scopus AuthorID: 7801642454
Google Scholar
Office hours
Thur. 12:10-15:00, 433. Or by appt.
A. V. Belov
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.

Sergey Andreevich Slavnov

  • Sergey Andreevich Slavnov has been at HSE University since 2011.

Education and Degrees

  • 2005

    Candidate of Sciences* (PhD)
    Cornell University

  • 2005

    Candidate of Sciences* (PhD) in Mathematical Logic, Algebra and Number Theory
    Thesis Title: Semantic investigations of linear logic

  • 2005

    Doctoral programme in Mathematics
    Cornell University, mathematics

  • 2000

    Lomonosov Moscow State University

  • 2000

    Degree in Mathematics
    Lomonosov Moscow State University, Mechanics and Mathematics

* Candidate of Sciences
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.

Awards and Accomplishments




Conference talks:
Geometrical semantics for linear logic (multiplicative fragment)
, Federated logic confer-
ence — workshop on linear logic (FLoC’02-LL), Copenhagen, Denmark, 2002.
Is there any geometry in Geometry of Interaction?
, Category Theory Octoberfest’05,
University of Ottawa, Canada, 2005.
Geometry of Interaction and Hamiltonian dynamics
, Geometry of Computation 2006
(GeoCal’06), Marseille-Luminy, France, 2006.
"Physical" interpretations of Linear Logic: semiclassical vs. quantum
, ASL 2006 annual
meeting, Universite de Quebec a Montreal, Montreal, Canada, 2006.
"Modelling linear logic with implicit functions"
, L.O.G.I.C., workshop on linear logic,
ludics, implicit complexity, operator algebras, dedicated to J.-Y. Girard on his 60-th birthday,
Siena, Italy, 2007.

Discrete math, questions, winte 2016, final version (in Russian)

Timetable for today

Full timetable