Russian
 Contacts 
 About PDMI 
 Administration 
 Laboratories 
 Staff 
 Seminars 
 Conferences 
 Activities 
 Links 
 Euler IMI
 Conferences IMI
St.Petersburg   Department   of   V.A.Steklov    Institute   of   Mathematics
of   the   Russian   Academy   of   Sciences
Laboratories  
Math. analysis Math. logic Math. physics Stat. methods
Research Algebra and Number Theory Geometry and Topology Math. Problems of Physics Math. Problems of Geophysics Representation Theory
and Dynamical Systems
Laboratory of Mathematical Logic
Head of Laboratory:  Member of the RAS   Yu.V.Matiyasevich
Webpage of Laboratory
Members Research
Yu.V.Matiyasevich  Head of Laboratory
E.А.Hirsch  Leading Research Fellow
D.V.Karpov  Research Fellow
А.AKozhevnikov  Junior Research Fellow
А.SKulikov  Junior Research Fellow
S.I.Nikolenko  Junior Research Fellow
V.P.Orevkov  Leading Research Fellow
А.V.Pastor  Research Fellow
N.А.Shanin  Leading Research Fellow
М.А.Vsemirnov  Executive Academic Secretary
  ©  2008 - 2009   St.Petersburg Department of Steklov Institute of Mathematics RAS