SERGUEI KRIVOV
Computer Science Department
& Gund Institute for Ecological Economics
The University of Vermont
590 Main Street ,Burlington ,VT 05405
Phone: (802) 656-2978
FAX: (802) 656-2995
Serguei.Krivov@uvm.edu
Research Interests
Ecoinformatics:
Ontologies and integration of heterogeneous data sources
Graphic representation and smart navigation of large ontologies
Visual design of complex database queries
Multiagent Systems
Probabilistic measures of complexity, organization, and
adaptation
Logic based frameworks for analysis of multiagent systems
Simulation of ecological and social systems
Logic .
Description Logic
Logic of actions and processes
Logic for representation of spatial and temporal data
Studies and career
2004–till date Assistant Research Professor, Computer Science
Department, University of Vermont.
2002–2004 Postdoctoral Research Associate, Gund Institute for
Ecological Economics, University of Vermont.
2001 Research Scientist, Institute for Ecological Economics, University of Maryland
1999 Ph.D. cum laude in Computer Science from Intercultural Open University,
the Netherlands. Dissertation title: “A Logic Based Framework for
Artificial Life Research”
1990 M.Sc. in Mathematics with specialization in Logic from Novosibirsk State
University, Novosibirsk, Russia
Undergraduate and postgraduate studies
1995-97 Postgraduate studies and research in Jain Philosophy and Logic,
Jain Vishva Bharati Institute, Ladnun, Rajasthan, India.
1990-93 Postgraduate studies in semantics of natural language, Department
of Logic, School of Philosophy, Moscow State University, Moscow , Russia
1982-1984 Undergraduate studies in physics, Novosibirsk State University, Novosibirsk,
Russia
Computer skills
Programming languages :
C/C++: GNU C++ compiler, GTK+, VDK, QT GUI libraries, STL, MS Visual C++, MFC
Logic Programming : Flora, Visual Prolog 5.1, LPA Win Prolog 3.3,
Others: Pascal, Delphi, CLIPS, FORTRAN
Internet Technology : Java, XML , RDF, JavaScript
Pattern based design in Java and C++
RDBMS: ORACLE 7.1 SQL*PLUS, SQL/PL, POSTGRESQL
GIS: ArcMap, ArcCatalog, MapServer,
Scientific Computing: Mathematica 4
System administration : Windows 2000, Linux
Major software projects
2004-to date GrOWL Advanced browser for OWL ontologies. Part
of SEEK project.
Java/XML/RDF/OWL [Web Page: http://ecoinformatics.uvm.edu/dmaps/growl]
2003–to date SEEK -Participation in a large ecoinformatics project, aimed
at making fundamental improvements in how researchers can gain global
access to ecological data and information [Web Page: http://seek.ecoinformatics.org
]; Java/XML
2001-2004 ESD- Participation in Ecosystem Services Database development,
ESD is a large NSF sponsored research project at Gund Institute for Ecological
Economics ; C++/XML/HTML/Java/JavaScript/ MapServer
2003–to date OntoBrowser - Advanced browser for large
ontologies, significant part of ESD project; Java/XML/Flora, [Web Page:
http://ecoinformatics.uvm.edu/dmaps]
2002 NetDraw - GUI tool for network analysis; C++/Qt
--
2000-2001 GeneScan - Gene analysis tool –corporate
project at Unitech Infosys, India in collaboration with Non-Linear Physics Lab
at Jawaharlal Nehru University; C++/VDK/Linux
1996-1999 LEM - Multiagent Simulator , Ph.D
project at Intercultural Open University/ Jawaharlal Nehru University/Indian Institute
of Ecology and Environment ; LPA Prolog(initial prototype)/Visual
Prolog
[Web Page: http://www.geocities.com/SiliconValley/Cable/3109 ]
Teaching
2002: Participation in teaching and principal role in software support for Ecosystem
Services and Biodiversity (NR 285) 3 credits, University of Vermont , USA
2000 Guest-lecturer, taught advanced C++ course for graduate students, postdocs
and faculty of School of Physical Sciences, Jawaharlal Nehru University, New Delhi.
India
1996-1999 Lecturer, Buddha Institute of Technology, New Delhi, India. Developed
and taught Mathematics and PC Software courses for undergraduates in Computer
Applications.
1990-1993 Course Associate, conducted Logic seminars for undergraduate
law students, School of Philosophy, Moscow State University, Moscow, Russia
Other work experience
2000-2001 Consultant, UniTech Infosys Ltd., Gurgaon, India
1996-1999 Consultant, Indian Institute of Ecology & Environment, New Delhi,
India
1985-1986 Programmer (Fortran) at Computerized Tuition Systems Lab,
Novosibirsk State University, Novosibirsk, Russia
1983 Summer job at Novosibirsk Institute of Nuclear Physics, Novosibirsk,
Russia design of mass spectrometer for electromagnetic plasma trap
Selected Peer-reviewed publications
1. S. Krivov, R. E. Ulanowicz,
and A. Dahiya. 2003. Quantitative measures of organization for multiagent systems.
BioSystems , 69 :39-54.
2. S. Krivov, A. Dahiya, and
J. Ashraf. 2002. From Equations To Patterns: Logic Based Approach To General
System Theory, International Journal of General Systems 31(2): 183-205;
3. A. Dahiya and S. Krivov. 2000.
Study of Pattern Formation by Peafowl using LEM Multi-Agent Simulator InterJournal
of Complex Systems Article no. 333 [online: http://www.interjournal.org]
4. S. Krivov, A. Dahiya and J.
Ashraf. 1999. Lem - Multi Agent Simulator Implemented in Visual Prolog .In: Cognitive
Systems Reviews and Previews, J. R. Isaac and K. Batra (Eds.), ICCS '99, Delhi,
Phoenix Publishing House Pvt Ltd. Also published by the official web site,
Prolog Development centre (PDC): [www http://www.visual-prolog.com/vip/articles/LEM/lem-multi.htm]
5. A. Dahiya, S. Krivov, and
J. Ashraf. 1999. A Study of route selection dynamics and local migration of avi-fauna
within a real ecosystem using LEM multi-agent simulator . In: Cognitive
Systems Reviews and Previews, J. R. Isaac and K. Batra (Eds.), ICCS '99, Delhi,
Phoenix Publishing House Pvt Ltd. Also published by the official web site, Prolog
Development centre (PDC) [www http://www.visual-prolog.com/vip/articles/LEM/study_of_route_selection_dynamic.htm]
6. S. Krivov. 1998. The formal
semantic for Jain logic. Arhat Vachana . 10 (4): 9-29.
7. S. Krivov. 1997. Eco-Rationality
and Jain Karma Theory, Kundakunda Jnanapitha, Indore, India. Arhat Vachana.
9(3): 52-68. (Best paper award by Kunakunda Jnanapith Indore India ).
Non peer-reviewed publications
(a). Computer Science and Logic:
1. A. Dahiya and S. Krivov. 2000. Study of Pattern
Formation by Peafowl using LEM Multi-Agent Simulator. Proceedings of the Third
International Conference on Complex Systems, Nashua, NH, hosted by New England
Complex Systems Institute, USA. (in press).
2. S. Krivov, A. Dahiya, J. Ashraf. 1998. Ethological
Principles and Architecture fo rAdaptive Autonomous Agents, Proceedings of The
4-th International Conference On Cognitive Systems ,New Delhi, India, 2: 604-614.
1998.
3. S. Krivov. 1988. On one version of Computer
Metaphor in Proceedings of 25th All Soviet Union student conference , philosophy
section, Novosibirsk University. (In Russian).
(b). Ecology
4. A. Dahiya and S. Krivov. 1999. Checklist of
the birds of JNU campus, JNU News , Vol. XVII No. 2: 13-16.
(c). Philosophy:
5. S. Krivov. 1996-97. Jain Karma Theory, Tulsi
Prajna , Jain Vishva Bharati Institute, Ladnun, Raj. India. 22: 21-33.
6. S. Krivov. 1989. Leader: in newspaper "Science
in Siberia", (10th February) Novosibirsk, 630090, Russia. (in Russian).
Referee Activity
International Journal of General Systems.
Awards and Memberships
1. Ph.D. CUM LAUDE, Intercultural Open
University, The Netherlands
2. Research fellowship from Jain Vishva Bharti
Institute, Ladnun, Rajasthan. India (1995-97)
3. Arhat Vachan Award for the best paper by
Kunakunda Jnanapith Indore India.
4. World 2000 Millenium award by International
Association of Educators for World Peace (An Affiliate of United Nations - ECOSOC,
UNDPI, UNCED, UNESCO & UNICEF) for outstanding contribution.
5. Member, EvoWeb- European Network of Excellence
in Evolutionary Computing. UK [http://www.evonet.polytechnique.fr/]
Presentations in Conferences and Media Appreciation
1. The 5th International Conference on Cognitive
Systems, December 1999, NIIT, New Delhi ,INDIA .
2. The 4th International Conference on Cognitive
Systems, December 1998, NIIT, New Delhi ,INDIA .
3. World Environment day meet organized by Indian
Institute of Ecology and environment, New Delhi INDIA on 5th June 1997.
4. First World Polypathy Congress ( Jan 21-25,1997)
organized by International Institute of
Polypathy, Indian Institute of Ecology and
Environment, Buddha Institute of Technology, Dr. Zakir Hussain Institute
for Non-formal and Continuing Education, the First Polypathy Hospital, New Delhi
: Presentation appreciated by Media and coated with photograph and comments in:
"OUTLOOK" - the leading weekly Indian newsmagazine, February
12, 1997 issue, vol. III no.7: pp62-63.
5. National Polypathy Congress (11-14 July 1996)
organized by International Institute of Polypathy, Patna, Bihar India: Presentation
appreciated by Media and coated with photograph and comments in: " Health
and Nutrition", August 1996 issue, part 11: PP 42-43. Magna Graphics
( India ) P.L Bombay India .
6. Fourth World Environment Congress Eco-philosophy
Summit (Jan 10- 13, 1996) organized by The Global Open University, Milan, Italy
in association with Indian Institute of Ecology and Environment, New Delhi, India