Research

PROFESSIONAL EXPERIENCE

1985-today Senior Scientist, laboratories: (1) logical foundations of Computer Science, (2) information-logical systems and applied logic of the Sobolev Institute of Mathematics of the Russian Academy of Science.
1998-1999 Visiting Scholar, Computer Science Department at the Central Washington university, (US).
1996-1996 Visiting Scholar, Visiting Associate Professor, Louisiana State University (US).
1993-1994 Visiting Scholar, Queen's University of Belfast (United Kingdom).
1975-1985 Research Fellow, Sobolev Institute of Mathematics.
1972-1975 Ph.D. Student, Sobolev Institute of Mathematics.
1971-1972 Research Assistant, Novosibirsk State University.

GRANTS

1996-1996 National Research Council Grant (Louisiana State University, US)
1993-1994 Royal Society Fellowship (University of Belfast, United Kingdom)
1993-1995 Competitive Center of Natural Sciences Foundations
               Mathematics-informative Research Institute at the Novosibirsk State University), grant # 93-I-88-12,
               "Far-out logical systems and their applications to knowledge representation"
1993-1995 Russian Foundation for Basic Research
               (Institute of Mathematics SB Russian Academy of Science), grant # 93-01-01506a,
               "Definability in admissible sets"
1996-1996 National Research Council Grant (Louisiana State University, US).
1996-1998 Russian Foundation for Basic Research (Institute of Mathematics SB Russian Academy of Science),
               grant # 96-06-80570a, "Formal models of Cognitive process"
2000-2002 Integration project of the Siberian Branch of the Russian Academy of Science ?65
               "Modeling of Fundamental Genetics processes and systems"
2001-2003 Russian Foundation for Basic Research
               (Institute of Cytology and Genetics SB Russian Academy of Science), grant # 01-07-90376-?,
               "Integrated electronic library on space structure and functions DNA, RNA, proteins and genetic networks"
2002-2004 Russian Foundation for Basic Research
               (Institute of Cytology and Genetics SB Russian Academy of Science), grant # 02-07-90355c,
               "Gene Discovery set of programs development for knowledge bases creating for all the levels
               of genomic DNA analysis and simulation"
2003-2004 NATO Science Programme, Collaborative Linkage Grant
               (CNR ISMAC, Genova Italy, Institute for the Study of Macromolecules
               and Institute of Cytology and Genetics SB Russian Academy of Science), grant # LST.CLG.979815,
               "Development Of An Integrative Approach For Transcription Regularity Rule Extraction"
2003-2005 Integration project of the Siberian Branch of the Russian Academy of Science #119
               "Modeling of Fundamental Genetics processes and systems"

EDUCATION

1983 Ph.D. in Computer Science at the Soboplev Institute of Mathematics of the Russian Academy of Science
       Dissertation: "Data Analysis in the languages of empirical systems".
       Adviser Prof. N.G. Zagoruiko.
1971 M.S. in Mathematics Novosibirsk University, rated among three top schools in the USSR.
       M.S. Thesis "On logical problems of computability"
       Adviser Academician Yu.L.Ershov.
1966 High School diploma Physical-Mathematical academy
       for gifted students at the Novosibirsk University.