Curriculum Vitae

Yea, from the table of my memory
I'll wipe away all trivial fond records, ...
    - W. Shakespeare. "Hamlet, Prince of Denmark"
       (ACT I, SCENE V).

Some of my projects and works are kept on magnetic and hard copies.
Please feel free to retrieve.

Born in Krasnogorsk, Moscow Region, Russia

1963

Secondary School

1971 - 1981

September 1981
 - March 1987 Student in MAI

Moscow Aviation Institute (State University)

B.S. & M.S. in Computer Science. M.S. Thesis: "Modal temporal logic for system simulation".

CONUS: An Experimental System for CAD Applications

• Intelligent decision support for designers.
• Verifying formal descriptions of units.
• Second order and temporal logic specification language.
• Implementation: Standard Lisp on VM SP/370.

April 1987
- September 1989 AI Laboratory, Moscow Aviation Institute, Research Scientist

LISP/FRL: Frame Representation Language System

• LISP interpreter (over 150 functions).
• FRL interpreter (frame/slot/cell/value scheme accompanied by IF-ADDED and IF-REMOVED demons).
• Implementation: VAX C (12000 lines in C and 1500 in Lisp).

Reference:

1. LISP/ FRL: C-LISP Implementation of Frame Representation Language. - VNTIC Rep.No.50910000079, Algorithms and Programs, 3, 1991 (in Russian)

YLisp: Common Lisp Development System for DOS

• Lexically scoped language.
• Multiple inheritance.
• Dynamic redefinition and documentation.
• Multiple valued functions.
• The macro setf.
• 11 built-in data types, over 500 functions, special forms, macros and variables from [CLTL2]).
• Development environment:
  - interpreter + semicompiler,
  - break-loop debugger,
  - stack inspector,
  - trace and step utilities.
• Implementation: Microsoft C (25000 lines of code).

October 1989
- September 1992Post-Graduate in AI and Computer Science

ARCOS: Automated Reasoning Constraint Object System for CAD Applications

• Hybrid knowledge representation (object-oriented component with order-sorted logic).
• Constraint language shell.
• Propagation as a unified mechanism for inference and reason maintenance (assumption-based).
• Nonmonotonic and multiple-context reasoning
• Implementation: YLisp (30 classes, 200 Lisp functions, 1500 lines), Microsoft C (12000 lines).

October 1993 Ph.D. in Artificial Intelligence

Dissertation "Knowledge representation and reason maintenance based on constraints" (In Russian).

Reference:

1. D. A. Ivanov. Hybrid Constraint Programming Environment with Reason Maintenance. - French Conference on Logic and Constraint Programming, 1995, pp. 123-139 (Microsoft Word format available).

January 1994
- July 1994
MAI-DEC Center for Research and Training, Consultant/Lecturer

Localization and maintenance of ADAMS,  multi-body mechanical system simulation software developed by Mechanical Dynamics, Inc.

Practiced in Marburg, Germany for three weeks.

August 1994
- August 1995Russian Research Institute for Artificial Intelligence, Research Scientist/Analyst

The leader of a small team, two or four programmers.

Time-EX: Intelligent System for Calendar Scheduling

• Data-driven inference engine based on interval constraint propagation.
• Incomplete information handling.
• Natural temporal constraints.
• Work Breakdown Structure with arbitrary nesting.
• 13 sorts of dependencies between tasks.
• Resource calendar and project cost appraisal.
• Elaborated GUI including Gantt and PERT charts.
• Implementation: Windows NT/95, MFC 4.0, MS Visual C++ 4.0.

Personally:

• Overall architecture based on AFX document/views;
• Task and Dependencies sheet views based on grids;
• User's guide and on-line help writing.

Reference:

1. Narin'yani, A. S., Borde, S. B., Ivanov, D. A. Subdefinite mathematics and novel scheduling technology. - Artificial Intelligence in Engineering, 11, pp. 5-14, 1997.

SIMULA-OrgCharts: Graph package for designing hierarchical diagrams

• Stratify two layers: topology and graphical objects.
• Exploit tree view-like Outline widget to navigate throw the hierarchy.
• Automatic nodes layout.
• Attach semantics to nodes and connections.
• Inference engine based on interval constraint propagation.
• Persistence via make-load-form and fasl-write/fasl-read.
• Implementation: Allegro Common Lisp for Windows 3.01 (Common Graphics subclassing).

September 1995
- June 1996
Ulter Systems, Inc., Software Engineer

Run-time Library for Processing Large Surveys

Surveys are data files with up to 10000 columns for Questionnaire applications, tabulation and statistical data analysis packages used by advertisement and press agencies.

• Database conceptual schema described by means of the ASN.1 (Abstract Syntax Notation) language.
• Primitive and aggregate types (sets and structures)
• Defaulting fields in structures (useful for compatibility).
• Compilation and decompilation of data.
• The schema library is flexible due to the two layers:
  1. logical schema comprising location-independent attributes (column names, types, category lists, expressions for computed columns),
  2. physical schema describing location-specific attributes (data formats) in different files and data sources.
• An application treats column descriptions as C++ objects that are able to load themselves from the ASN.1 representation and encode back into the ASN.1 representation.
• Implementation: Windows NT/95, MS Visual C++ 2.2.

Personally:

• Column manipulation with hierarchical and circular symbolic references (copying, merging, removal).
• OLE 2.0 compound files interface for storing schema description.
• Data streaming, an analog of SQL's UNION command.
• Mapping survey's data onto one or more relational tables in various DBMS database via ODBC.

June 1996
- September 1996
Moscow Software Center, Digital Equipment Corporation, Technical Team Leader

Managed few projects on porting VAX/VMS application onto Windows NT. Engaged in evaluating and budgeting.

Crashing Digital was not my doing...

October 1996
- April 1998
IT Department, Brok-Invest-Service, Inc., Chief Developer

Managerial Accounting System for Trade Company (Tubes, Metal)

• Handle inventory in multiple warehouses.
• Using Telix or Replication Manager to synchronize changes.
• Replication conflict and error handling.
• Enter quotations, invoices, bills, cash receipts etc.
• Calculate quantity on hand, on order, committed to quotations, and committed to invoices.
• Material supplies and sales analysis package.
• Provide transfers, fright planning, and cost calculation.
• Implementation: MS Access 2.0/97, MS SQL Server 6.5.

August 2000
- December 2005
ARL Consulting B.V. Chief Developer/Analyst (on Contract)

Chivas: Strategic Planning Tool for Maersk Sealand Service Department

• Invoice proforma composition, evaluation, and maintenance.
• Service planning, preliminary port scheduling, and cost estimation.
• Importing statistic data about actual port productivity, pilot in/out delays, and costs, which are supplied by other divisions in Excel or text files.
• Multi-site configuration to provide the staff at remote offices with transparent access to one global database implemented in two versions:
  1. Citrix configuration (more than 80 users over the world),
  2. Replication configuration.
• Implementation: MS Access 97/2002/2003, MS SQL Server 2000.

Castor: Windows-Based Fuel Consumption Optimization Program

• Used on board of Maersk Sealand vessels.
• Assists Ship's Management to optimize engine fuel oil consumption for planned voyages.
• Facilitates composing a schedule by dividing a route into legs, specifying leg distances, speed, and milestones.
• Calculates power and consumption required and helps in monitoring vessel state and location.
• Reduces expenses and improves performance.
• Implementation: MS Access 97/2000.

Reefer Monitoring and Database System

• Reads telexes received from own and time charter vessels
• Monitors various types of parameters (controlled atmosphere, cold treatment, etc.).
• Extracts Quality reports information on number of reefers loaded, technical errors and operational errors.
• Extended reporting and statistical analysis.
• Implementation: MS Access 97.

April 1998
Ystok-Systema, Ltd. Chief Developer/Analyst

Ystok-Portal: Web Content Management System

• Implementation: LispWorks 4.4, 5.0.
• More detail about this product is available in Russian.

Ystok-Sportclub: Multi-User Client-Server Application for Sports Club Management and Accounting.

• Implementation: LispWorks 4.4.

Ystok-Tournament: Computer-Aided Tournament System

• Implementation: LispWorks 4.3, 4.4

Ystok-Cable: Managerial Accounting System for Wholesale and Retail Shopping

• Serial accounting model for cable and wire products.
• Report switchboard, a flexible and customizable report generation library.
• MS Excel import and export.
• Implementation: MS Access 97/2000/XP.
• More detail about this product is available in Russian.

Ystok-Pharmacy: Marketing and Shopping System

• More detail about this product is available in Russian.