Software Engineer Computer Science

(UPDATE: PhD Thesis defended on Dec.**, ****.)

(UPDATE: This is a March 2009 resume. Write for the up-to-date version.)

The plain text version of

this resume (ASCII).Michael A. Bukatin

P.O.Box 391894,

Cambridge, MA 02139

e-mail:

*******@**.********.***

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.

Contact this candidate