Larisa Maksimova

 

   Principal Researcher
   Sobolev Institute of Mathematics
   Siberian Branch of
   Russian Academy of Sciences
   Novosibirsk,    Russia

    Professor
   Novosibirsk State University                               

Address

Sobolev Institute of Mathematics
Siberian Branch of
Russian Academy of Sciences
630090 Novosibirsk
Russia

e-mail: lmaksi@math.nsc.ru
phone:  +7  383 3634553

fax:       +7  383 3332598

 

Research Interests

  Mathematical Logic
  Algebraic Logic
  Non-Classical  Logics
  Modal and Temporal Logics
  Theory of Algebraic Systems

Educated

 Mathematics and Mechanics Faculty, Novosibirsk State University 1965

 Candidate of Physical and Mathematical Sciences (equivalent of PhD): Novosibirsk State University 1968,

  PhD Thesis: Logical calculi of rigorous implication

  Dissertation Supervisor: Prof. Anatolii Ivanovich MALTSEV

 Doctor of Physical and Mathematical Sciences (habilitation): Institute of Mathematics, Novosibirsk 1986   

 

  Habilitation thesis:  Decidable properties of superintuitionistic and modal logics

 

Regular Academic or Research Appointments

  Principal Researcher, Sobolev Institute of Mathematics, 2009, and

  Professor of Mathematics, Novosibirsk State University, 1992 --

  Institute of Mathematics, Siberian Branch of Russian Academy of Sciences: Leading Researcher,  1986-2009;

     Senior Researcher, 1979-1986; Researcher, 1967-1979; Research Probationer, 1965-1967.

   Novosibirsk State University: Associate Professor, 1969-1974, 1981-1985, 1989-1992

Visiting Academic or Research Appointments

  Visiting Professor, King’s College London, 2003, 2004

  Visiting Professor, Uppsala University, 1998 –1999

  Visiting Professor, Japan Advanced Institute of Science and Technology (JAIST), 1995

  Post-doctoral Fellow, Institute of Mathematics, Warsaw University, 1972 - 1973

 

Teaching

Novosibirsk State University

  Mathematical  Logic (undergraduate lecture course .rtf and seminars)
  Applied Logic  (undergraduate course)
  Temporal and Modal Logics (graduate course)
  Modal Logics  (graduate course)
  Non-Standard  Logics (weekly Seminar)

Supervising

   Vladimir Rybakov (now  Professor, Manchester  Metropolian University, and Siberian Federal University, Krasnoyarsk)
   Sergei Mardaev  (now  Leading Researcher, Sobolev Institute of Mathematics,  Novosibirsk)
   Margarita Verkhozina  (now Docent,  Irkutsk State University)
   Pavel Shrainer  (now Docent, Siberian University of Consumery Cooperation, Novosibirsk)
   Dmitry Tishkovsky (now Research Assiociate, The University of Manchester)
   Mikhail Sheremet  (Senior Researcher,  Sobolev Institute of Mathematics, Novosibirsk)

   Veta Murzina (Yun)  (Senior Researcher, Sobolev Institute of Mathematics, Novosibirsk)

   Anastasia Karpenko  (Lecturer, Novosibirsk State University)

 

Honours and awards

 State scientific grant of Russian Federation “To outstanding scientists” 1994, 1997, 2000.

 

 The 2009 Maltsev Prize from Russian Academy of Sciences

 

 The Government of Russian Federation Prize in the field of education for year 2010

    (for the series of proceedings “Conception of Forming of Logic-Mathematical Education at Higher School”)(.doc)

 

PUBLICATIONS until 2003 (.pdf)

PUBLICATIONS since 2004 (.htm)