Prof. Stefanuk, Vadim L.

Vadim L. Stefanuk

Vadim in a stormy rain in Tennessee,
USA, July 1998

Regular post address:

Prof. Vadim Stefanuk
Institute for Information Transmission Problems
Russian Academy of Science,
Bolshoy Karetny per. 19,
127994 Moscow, GSP-4
RUSSIAN FEDERATION.

CURRICULUM VITAE

Doctor of Technical Sciences , Leading Researcher in the Institute for Information Transmission Problems of Russian Academy of Science with the strong theoretical, R&D and teaching experience.

Professor of Informatics in the Russian University for People Friendship.

Author of 4 books and 235 reports and papers published in domestic and international journals or conference proceedings.

Lecturer in Artificial Intelligence, Locally-Organized Systems, Distributed Systems, Learning Agents, Tutoring, and LISP programming.

Full member (Academician) of Russian Academy for Natural Sciences (RANS) and International Informatics Academy (IIA).

Member of Directorship of WOSC.

Fellow of European Coordinating Committe for Artificial Intelligence (ECCAI)

Vice-president of Russian Association for Artificial Intelligence (RAAI)

Electronic mail of Vadim Stefanuk:

EDUCATION
   Doctor of Technical Sciences (Dr.Sc.), defended in Moscow Institute for Electronic Machinery in 1990. The DrSc thesis title was "Local organization of expedient behavior of technical systems."
   Candidate of Science (Ph.D.), defended in the Institute for Control Problems, Moscow, in 1968. The PhD thesis title was "Collective automata behavior and the problem of stable local control in a communication system."
   Graduated from Moscow State University in 1962, Physics Department, with the special orientation to the learning automata study. The Diploma thesis title was "Some problems of Automata Behaviour".

Working languages: English, Russian.

WORK EXPERIENCE

Full time: From 1962 to present I am working in the Institute for Information Transmission Problems of Russian Academyof Science. Chair of Artificial Intelligence Group.
Part time: Professor of Computer Science Dept. of RussianUniversity for People's Friendship, Moscow; Professor of Research Center for Problems of Quality of Education, Ministry of Higher Education, Moscow; Head of the Laboratory for Intelligent Tutoring Media, Center for Artificial Intelligence of Program Systems Institute, Pereslavl-Zalesskii; Lecturer in Moscow State University, the Department of Physics and the Department of Mathematics and Mechanics.

EXTENDED VISITS

June-July, 2001, Screen Mentor, Inc., Director of Artificial Intelligence Division, , Hamden, CT, USA.

January 4 - April 4, 2001, Visiting professor of National Institute of Informatics, Tokyo, Japan.

March 2-30, 2000, Visiting scientist in the Electrical and Computer Engineering Department of the of State University of New-York at Stony Brook, USA

From July 14, 1997 to October 15, 1997, Visiting Professor of Osaka University, Japan.

Previous years I also visited with extended visits Finland, France, Sweden, UK, USA.

LATEST GRANTS

Principles of Intelligent Behavior in Various Environment (2015-2017)
Semiotic Principles for Creative Problem Solving in Intellectual Systems (2012-2014)
Frame Problem Solution with Dynamic Expert System (2009-2011).
Representation of Natural Language Constructions with Conditionality Meaning (2007-2009)
Developing of Theory of Category for design and analyses of Intellectual Systems allowing change and reconsideration of the knowledge used, Russian Fund for Basic Research (2005 - 2007).
Problems of design of personal tutoring systems based on intellectual man-machine interfaces (project leader), the award from Russian Fund for Basic Research (2002 - 2004)
Problems of Theory of Category Formalization of Intelligent Knowledge Based Computer Systems (projects 2.4; 2.24), the award from Presidium of Russian academy of sciences (2001-2002)
Problems of Intellectual Man-Machine Interfaces Design with the Methods of Locally-Organized Systems (project leader), the award from Russian Fund for Basic Research (1999 - 2001).
Development of Programming Means for Elicitation and Representation of Knowledge to be used in Intellectual Tutoring Systems for Medical Diagnostics (project co-leader), the award from Ministry of Science and Technologies of Russian Federation, the fund "Perspective Information Technologies."(1999-2000)
PC System to Work with Fuzzy Data in a Dynamic Knowledge Base (project leader), the award from Ministry of Science and Technologies of Russian Federation (1998-1999), the fund "Information Technologies and Electronics.
Stability Analysis of Behavior of Locally-Organized AI Systems (project leader), the award from Russian Fund for Basic Research(1996 - 1998).
Development of Tools for Intellectual System Design based on RAD Technology (project leader), the award from Ministry of Science, Technical Policy and Education of Russia (1996 - 1998), the fund "Informatics in Russia".
Advanced Man-Machine Interface for Process Control Application (AMICA), BRITE/EURAM Project 6126 (1994-95).
Research and Development of Intellectual Tutoring Media (project leader), the award from Ministry of Science, Technical Policy and Education of Russia (1993 - 1995), project #1032.
Research and Development of Expert Tutoring System (project leader), Russian Academy of Science (1991 - 1995).

OTHER R&D PROJECTS

Cognitive Level Analyses and Intelligent Tutoring Media.
A Dynamic Seismo-Prognostic Expert System Design.
Programmable Knowledge-Based Expert Systems.

IMPLEMENTED PROGRAM SYSTEMS

Active SPAM filters: "Mirror-1.0","Mirror-1.5","Mirror-2.0".
A universal Frame based User Modeling system.
An advanced man-machine interface for Process Control.
A collection of Applied Expert Systems:
  Tutor for Expert Systems,
  Medical Diagnostic,
  Civil Engineering,
  Seismology Forecast,
  Project Estimation and Verification.
A Programmable Expert System Shell "ZNATOK".
Support system with learning for cargo papers handling.
A flexible (intellectual) support environment for LISP.
A LISP interpreter for Eclipse C/330 computer (ECLISP).

NEW CONCEPTS AND RESULTS
proposed, obtained, and published by Vadim L. Stefanuk

Design of WWW-system to organize a conference (2004).
Active SPAM fighting: a completely new approach to stop spammers (2000).
Automated Discovery of Problem Representations, Semiotic Approach
(1995).
Universal Intelligent Interface (1993) .
The Learning Level Analysis for Tutoring System (1993).
A Quasi-static approach to Dynamics in Expert Systems (1992).
The axiomatic approach to Evidence Combination in Expert Systems
(1987).
The concept of Meta Expert Systems (1987).
Theory of Category for Knowledge Representation and Learning (1985).
A concept of Intellectual Computer Operating System (1982).
An optimal Pattern Matching in a randomized data base (1974).
A local approach to Problem Representation in Artificial Intelligence (1973).
Local control of the Collective of Radio Stations (1968).
Collective behavior of Automata (1961).

HARDWARE
PowerPC, Macintosh, IBM Systems compatible, Data General, Eclipse
C/330, DEC-10, DEC-20, Alfa-5.

SOFTWARE
JavaScript, Java 1.0, Windows 95, WindowsNT, Windows 3.1, C, X-Windows(Unix),Golden Common LISP, LISP-in-FORTRAN, BBN-LISP, INTERLISP, Fortran-5.

PROFESSIONAL SOCIETY MEMBERSHIP
RAAI - Russian Association for Artificial Intelligence, Vice-President of RAAI.
ECCAI - Fellow of European Coordinating Committee for Artificial Intelligence (since 2001).

AISB - The Society for the Study of Artificial Intelligence and Simulation of Behavior, Great Britain (~1980-1995).

AAAI - American Association for Artificial Intelligence (1990).

ALP - Association for Logic Programming (from 1991 to present).

RANS - Russian Academy of Natural Sciences, Full Member (Academician).

IIA - International Informatics Academy, Full Member (Academician), Vice-chairman of the branch "Informational Networks and Systems".

NYAS - New York Academy of Science (Active Member, or Academician).

AI-ED - Society for Artificial Intelligence in Education.

INTERNATIONAL PROFESSIONAL SERVICE

Since 1997 - Member of the Policy Committee for ETAI, Electronic Transactions on Artificial Intelligence .

1994-2006 - Joint Conference on Knowledge Based Software Engineering (JCKBSE), Member of Steering Committee, Co-chair, PC member, Russia-1994, Bulgaria-1996, Slovakia-1998, Check-2000 , Slovenia-2002, Russia-2004, Estonia-2006.
1994-1996 European Coordinating Committee for Artificial Intelligence, (ECCAI), Board of Directors (elected member).

1996-2000 - An academic Node in Advanced Methodologies and Tools for Manufacturing Systems Network of Excellence (AMETMAS - NOE) of (European) COPERNICUS program.

IIA - International Informatics Academy, Vice-chairman of the Branch "Informational Networks and Systems".

INTERNATIONAL CONFERENCE ORGANIZATION

2006 10th National Conference on Artificial Intelligence with an International Participation. Obninsk center.
2006 Joint Conference on Knowledge Based Software Engineering (JCKBSE-2006), Member of Steering Committee (Tallinn, Estonia).
2004 Joint Conference on Knowledge Based Software Engineering (JCKBSE-2004), Member of Steering Committee, Conference co-chair, it has been held in Protvino (Russia).

2004 Intelligent Systems. Methodology, Models, Applications, Emergent Technologies (IS 2004) , Varna (Bulgaria), June 22-24, 2004, supported by IEEE,(Member of Program Committee)
2003 International Joint Conference on Artificial Intelligence (IJCAI-93) , Acapulco (Mexico), 9-15 August, 2003, (Member of Program Committee)
2003 X-th International Conference "Knowledge-Dialogue-Solution" (KDS2003), Varna (Bulgaria), June 16-26, 2003, supported by IEEE, (Member of Program Committee)
2003 The IEEE International Conference Artificial Intelligence Systems (ICAIS'03), Gelendzhik, Russia, 3-10 September 2003, (Member of Program Committee)
2003 3rd International/Central and Eastern European Conference on Multi-Agent Systems(CEEMAS-2003), Prague (Czech Republic), June 16-18, 2003, (Member of Program Committee)
2002 Joint Conference on Knowledge Base Software Engineering (JCKBSE-2002), Maribor, Slovenia, (Steering Committee Member, Program Committee member)

2001 Analysis, Design, and Evaluation of Human-Machine Systems (HMS) , Kassel, Germany, September 18-20, 2001,(Member of International Program Committee)

2000 Workshop on Applied Semiotic: Contol Problems (ASC2000), Berlin, Germany, (Organizing Group, the contact person)

2000 JCKBSE-2000, Brno, Check , (Steering Committee Member, Program Committee member)

1998,1999 - International School on Artificial Intelligence for Students and Postgraduates, Braslav Lakes, Byelourus, (Program Committee Member, Lecturer), See information on the 1st school in 1997

1999 - First International Workshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS'99), June 1-4, 1999, StPetersburgh, Russia, (Program Committee Member)

1999 - Advanced Summer Institute (ASI99) of the ICIMS-NOE(Network of Excellence on Intelligent Control and Integration of Manufacturing Systems), KU Leuven, Belgium, (ASI99 Program Committee Member)

1998 - International Technology Transfer in Russian Federation, Workshop Technical Program Committee Co-chairman. Organized by European Network of Excellence on Advanced Methodologies and Tools for Manufacturing Systems (AMETMAS-NoE).

1998 - Pushino, Russia, (Program Committee Member)

1998 - Joint Conference on Knowledge-Based Software Engineering (JCKBSE'98), Slovakia, (Program Committee Member, Steering Committee Member).

1997 - 2d Workshop on Applied Semiotics 14 September 1997, Bratislava, Slovakia (Program Committee Member)

1997 - The Workshop "Embedding User Models in Intelligent Interfaces" , Chia Laguna, Sardinia, Italy (The Organizer and the Chairman)

1997 - International Workshop "Distributed Artificial Intelligence and Multi-Agent Systems (W-DAIMASO97)", June 15-18, 1997, St.Petersburg, Russia (Program Committee Co-Chair)

1996 - European Conference on AI (ECAI'96), Hungary (Member, Organizing Committee).

1996 - Joint Conference on Knowledge-Based Software Engineering '96, Bulgaria JCKBSE'96, (Program co-chair with H.Ueno).

1996 - International Conference on Successes and Pitfalls of Knowledge-Based Systems in Real-World Applications, Thailand (Member, Organizing Committee).

1995 - IJCAI'95, Canada, (Advisory Committee Member).

1994 - Japan-CIS Symposium on Knowledge-Based Software Engineering '94 (JCKBSE'94), Pereslavl-Zalesskii, Russia (General & Program Co-chair with H.Ueno). 1993 - KB & KS'93, Japan, Organizing Committee.

1993 - East-West Conference on Artificial Intelligence: from Theory to Practice, Russia (Principal organizer and Program Co-chair with P.Brezillon)

1977, 1976 - International Workshops on AI, Repino, StPetersburgh, Russia (Principal Organizer and Scientific Secretary)

1975 - International Joint Conference on Artificial Intelligence, Tbilisi, Georgia (Principal organizer and Scientific Secretary)

INVITED PRESENTATIONS
Switzerland (Lozanne Polytechnic (1996)).
Estonia Tartu State University (2000,2001,2002).
USA (Washington University, MIT, Stanford University, Texas University, Belmont University (1995), Vanderbilt University (1996), New York State University (1999), etc.)
UK (Imperial College, Edinburgh University, etc.)
Sweden (Linkoping University, Uppsala University, etc.)
France (University Paris YI, etc.)
Italy ( Milan Polytechnic, University of Rome, etc.)
Japan (Tokyo Denky University, Osaka University (1997), Aizu University (1997) National Institute of Informatics (2001))
Germany (Kassel University)
Finland (Helsinki University, VTT, Swedish University, etc.)
Netherlands.

BOOK TRANSLATION
Since 1970 Vadim Stefanuk have translated into Russian the majority of books and texts on Artificial Intelligence, theory and applications, including those by N.Nilsson, P.Winston, M.Minsky, E.Hunt, R.Duda, P.Heart., J.von Neuman, and many more (21 books).

Updated on January 2002, February 2003, October 2006, March 2012 Moscow (Russia).

Send mail to Vadim Stefanuk:

You are visitor number