• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
French
Contacts
Phone:
+7 (495) 916-8876
+7 (495) 772-9590 доб. 15129
Address: 34 Tallinskaya Ulitsa, room 433
Timetable
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.
Supervisor
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

    Degree
    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

Publications5

Conferences

   

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