• 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
E-mail:
Address: Room 433, Tallinskaya,34, Moscow
Timetable
Download CV (PDF, 23 Kb)
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
M. Karasev
Printable version

 

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

Sergey A. Slavnov

  • Sergey A. Slavnov has been at HSE since 2011.

Education and Degrees

  • 2009
    PhD
  • 2005

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

  • 2005

    Postgraduate programme in Mathematics
    Cornell University, mathematics

  • 2000

    Diploma 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

Courses (2016/2017)

Courses (2015/2016)

Courses (2014/2015)

Courses (2013/2014)

Courses (2012/2013)

Publications9

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