Michael A. Bukatin

P.O.Box 391894, Cambridge, MA 02139

OBJECTIVE: A challenging consulting project or full-time position using my skills and experience in software engineering, computer science, and mathematics. Boston area or telecommuting.

SUMMARY: Extensive experience as a software engineer, PhD in computer science, authorship of results in the field of mathematics instrumental in the theory of programming languages, authorship of papers in computational chemistry, strong background in mathematics and computer science, consulting and teaching experience. Strong interest in methods and tools for software design and development. Proven ability to work as a member of a team. Proven ability to achieve goals. Proven ability to work independently, self-starter. Design of programming languages, design and implementation of compilers, search engine databases, realistic neural networks, advanced algorithms, computer graphics, user interfaces, small editors, computer algebra, numerical and statistical methods.

COMPUTERS: Linux, SGI, SUN, and other UNIX workstations, Windows XP/NT/Me/98. Also IBM PC, VAX, Macintosh, supercomputers (Cray, Convex), IBM mainframes.

PROGRAMMING LANGUAGES: C++/C, Python, Java, SQL, COMMON LISP, Fortran, Pascal, Scheme, ML, Prolog, Perl. Also Ada-95, SETL, Basic, PL/1, Algol-60, Modula-2, Simula-67.

MARKUP LANGUAGES: HTML, XML.

PARSER GENERATORS: YACC/LEX/FLEX.

DATABASES: PostgreSQL, Berkeley DB.

MAJOR EXPERIENCE AS A SOFTWARE ENGINEER:

07/01-present: MetaCarta, Inc., Cambridge, MA --- Senior Software Engineer.

06/01-07/01: MetaCarta, Inc., Cambridge, MA --- Consultant.

Design and development of efficient algorithms and software for feature extraction and indexing in the Geographic Text Search Appliance. C/C++, FLEX, Python, PostgreSQL, Linux workstations.

06/98-10/00: Synquiry Technologies, Ltd., Belmont, MA --- Consultant.

Design of a modern agent-oriented programming language and semantic-oriented visual program editing system for development of AI agents working over Ariadne semantic networks (models). COMMON LISP, SUN and Windows NT workstations.

03/95-06/97: Parametric Technology Corp., Waltham/Newton, MA --- Senior Software Engineer.

Design and implementation of application oriented programming languages. Also design and implementation of prototype and industrial systems (CAD/CAM) based around these languages. Our languages incorporate a number of advanced features in various combinations: data flow model of computations, incremental compilation and computations, garbage collection, dynamic typing, functions and types as data, polymorphism, advanced mechanism of dynamic binding via inheritance. C++, YACC, LEX, proprietary application oriented languages. UNIX and Windows NT workstations.

07/90-11/92: Biosym Technologies, Inc., Parsippany, NJ --- Scientific Programmer.

04/90-06/90: Mount Sinai Medical Center, New York, NY --- Research Assistant.

At Biosym and Mount Sinai I designed, developed and used software computing hydration energy of moleculas. Big project: DAMS software complex (construction of divided analytical molecular surface known as water accessible Richards-Connolly surface; advanced computational geometry algorithms and advanced computer graphics). C, Fortran. SGI workstations, VAX, Convex. 5 publications in "Biophysical Chemistry" and "The Journal of Physical Chemistry".

09/86-08/89: Institute of Economics, Moscow, USSR --- Researcher.

Various software design and development. Large computer algebra project (exact derivatives of functions defined by Fortran programs). Support of end users. Pascal, Fortran, C. IBM PC, Nord (VAX-like platform). From 12/88 on consulting basis.

10/80-05/81: Institute of Biophysics, Moscow Region, USSR --- Programmer.

Numerical programs. Fortran. IBM mainframes.

OTHER CONSULTING AND TEACHING EXPERIENCE: 09/92-08/96:

BioChemComp, Inc., Teaneck, NJ. Upgrade of DAMS software. C. SGI workstations, Cray.

Dana Farber Cancer Institute, Harvard University, Boston, MA. System administration, troubleshooting. SGI workstations, Macintosh.

Boston University, Boston, MA. Teaching a graduate course in computer science: Formal Semantics of Programming Languages.

Framingham State College, Framingham, MA. Teaching courses in computer science: Programming Languages (Scheme, Prolog), Data Structures (C++). IBM PC.

Brandeis University, Waltham, MA. Helping to teach courses in computer science: Structure and Interpretation of Programming Languages (Scheme), Theory of Computation, Mathematical Logic in Computer Science (graduate), Semantics of Programming Languages and Lambda-calculus (with ML - graduate course). IBM PC, UNIX workstations.

EDUCATION:

09/92-02/02: Brandeis University, PhD program in Computer Science.

PhD in Computer Science.

Semantics of Programming Languages: its Mathematics and Applications.

My graduate research focused on mathematics of domains for denotational semantics and its possible applications. Elements of such domains were used to express meanings of programs. In 1996-1998 we obtained new striking results in the theory of continuous generalized metrics and measures on domains. In particular, they enabled us to compute meaningful distances between programs. Our earlier results advanced the approach representing meanings of programs as theories in logical calculi. In particular, an original notion of subtyping was developed. We are now attempting to develop prototypes of radically new software technologies based on these theoretical results.

3 publications in Lecture Notes in Computer Science, Springer-Verlag and Topology Proceedings, 2 more papers submitted. My papers, manuscripts, and dissertation in computer science are available at http://www.cs.brandeis.edu/~bukatin/papers.html.

09/81-06/86: Moscow Institute of Railroad Engineers.

MS in Applied Mathematics. Thesis on syntax-oriented program editors (Pascal, IBM PC).

PERSONAL: US Citizen.