Professional Activities and Grants

Professional activities

  • Principal organizer: Conference New Developments in Logics of Knowledge and Belief, New York, 2004
    http://nylogic.org/Colloquium/KnowledgeBelief
  • Program Commitee Chair: Annual Meeting of the Association for Symbolic Logic, Carnegie-Mellon University, 2004
  • Principal organizer: Conference “Constructivism in Mathematics, Logic and Computer Science. Commemorating the Centennial of Andrei Markov, Jr.”, New York, 2003
  • Co-organizer: Conference “Kolmogorov and Contemporary mathematics, Section on Logic and Complexity Theory”, Moscow, 2003
  • Co-editor: Tarski Centennial Volume of APAL, 2003-2004.
  • Principal organizer: New York Logic Colloquium, 2001-present
  • Principal organizer: CUNY Computer Science Colloquium, 2001-present
  • Managing Editor: the journal  Annals of Pure and Applied Logic
  • Editor: the monograph series Studies in Logic and Foundations of Mathematics, Elsevier Science Publisher
  • Elected Council Member: Association for Symbolic Logic , 1995 – 1996, 2000-present
  • Advisory Board Member:  Advances in Modal Logic , 1998-present
  • Elected Member: Association for Symbolic Logic , the Committee on Translations, 1966-present
  • Member: Honorary Consulting Board of the journal Studia Logica , Kluwer Academic Publishers, 1993-1995
  • Member: Organizing and Program Committee of the Biannual IEEE Symposium Logical Foundations of Computer Science , 1994 – present
  • Member: Program Committee of the Workshop on Intuitionistic Modal Logic and Applications , FLoC’02, Copenhagen
  • Member: Program Committee of the Workshop on Logic, Language, Information and Computation (WoLLIC’00 ), Brazil, 2000
  • Member: Organizing Committee of the Annual IEEE Symposium Logic in Computer Science , 1991 – 1997
  • Head: the Logic Section of the European Summer School in Logic, Language and Information , Aix-en-Provence, France, 1997
  • Principal co-organizer: the Colloquium Logic in Eastern Europe at the International Congress of Logic, Methodology & Philosophy of Science, Florence, Italy, 1995
  • Member: Program of the Annual EACSL Symposium Computer Science Logic, Padderborn, Germany, 1995
  • Member: Program Committee of Logic in Computer Science Symposium , Luminy, Marseille, France, 1994
  • Principal co-organizer and the Program Committee co-chair: the International Conference Proof Theory, Provability Logic, Computation, Bern, Switzerland, 1994
  • Member: Organizing Committee Member: Logic in Computer Science Symposium, Luminy, Marseille, France, 1990
  • Principal co-organizer: VIII USSR National Conference on Mathematical Logic, Moscow, 1986
  • Member of several professional societies, many theses committees.

Positions held

  • Moscow State University since 1984; currently Professor and Head of the Laboratory for Logical Problems in Computer Science
  • USSR/Russian Academy of Sciences, Mathematical Institute: Researcher 1980, Senior Researcher 1986, Leading Researcher 1990-present
  • Cornell University: Visiting Professor at Department of Computer Science, Department of Mathematics, Center for Foundations of Intelligent Systems, Mathematical Sciences Institute, 1995 – 2001
  • Stanford University, Department of Computer Science, Center for the Study of Language and Information: Visiting Scholar in 1989, 1990, Visiting Professor in 1997 (three one month visits)
  • University of Amsterdam, the Netherlands, Department of Mathematics and Computer Science: Visiting Professor in 1994 (three months)
  • Bern University, Switzerland, Institute for Computer Science: Visiting Professor in 1992, 1993, 1994, 1995 (four one month visits).
  • CNRS, Laboratory for Discrete Mathematics, Marseille, France: Visiting Professor in 1993 (three months)
  • University of Siena, Italy, Graduate School in Mathematical Logic: Visiting Professor  in 1991, 1993 (two one months visits).
  • CNRS, Laboratory for Informatics, Robotics and Microelectronics in Montpellier, France: Visiting Scholar in 1992-93 (an academic year)
  • University of Montpellier, France: Visiting Professor in 1991 (two months)
  • USSR Academy of Sciences, Optimal Control Institute: Researcher 1978, Head of a research project 1979-1980

Grants

  • Grant ARO DAAH04-96-1-0341 under the MURI program Integrated Approach to Intelligent Systems, 1996 – present (within a team)
  • Grant from Russian Foundation for Fundamental Research 96-01-01395, 1996-98 (principal investigator)
  • Grant “Scientific Schools” from Russian Foundation for Fundamental Research, 1996  (principal investigator)
  • Cooperation agreement between PRL group at Cornell University and Laboratory LPCS at Moscow University, 1995 – present (principal co-investigator)
  • Grant from the International Science Foundation NFQ300, 1995-96 (principal investigator)
  • Cooperation agreement between IvyTeam, Switzerland, and Laboratory LPCS at Moscow University, 1994 – present (principal co-investigator)
  • Grant INTAS 94-2412 from the European Community, 1994-95 (within a team)
  • Grant from Russian Foundation for Fundamental Research 94-01-21086, 1994 (principal investigator)
  • Grant from the International Science Foundation NFQ000, 1993-95 (principal investigator)
  • Special grants from Elsevier Science Publisher and Kluwer Academic Publishers, 1993 (principal investigator)
  • Cooperation agreement between logic groups at Amsterdam University and Russian Academy of Sciences, 1991-1997 (principal co-investigator)