Apt.14, 31 Abba-Hillel Silver Str., Haifa 32694, Israel. Phones: 972-4-9590758 (Home), 972-4-8234345 (Contact). Date of immigration to Israel: October 29,1992. Languages: English, Hebrew, Russian.

1988: Ph.D. in Computer Science received from Leningrad Polytechnics Institute (Russia). 1975--1999: Various short and long-term courses (from Microsoft certified "Granit", "Sela" groups (Israel), Russian universities: computer languages, operating systems, data structures, algorithms). 1972: B.Sc. in Mathematics received from Beltsy Pedagogical Institute (Moldavia).

Development and maintenance of a large software product in the area of Storage Management (hundreds of modules: work in a team). Design and implementation of Computer Typesetting system (DTP: Document Printing) -- for preparation of large astronomical tables with calculated data, complex texts with formulas. See Astronomical Year Books of USSR, Ephemerides of Minor Planets for a demo (hundreds of modules: work as a leader of a small group). Programming Language design and implementation: parsing, code generation, optimisation. Natural Language Processing (NLP) software: design of data structures and algorithms, programming, research. Artificial Intelligence: R/D in Machine Learning and Inductive Synthesis of Logic Programs, Expert System Design (see private homepage and publications for details).

Since 1996: Israel subsidiary of Sterling Software, Inc. (USA) -- Software Engineer. 1993-96: Product Computers Ltd. (Haifa) -- Systems Analyst, Programmer. 1978-92: Institute of Theoretical Astronomy of the Russian Academy (St. Petersburg) -- Programmer, Researcher, and Project Leader. 1974-78: Academy-Town, Novosibirsk (Russia) -- Programmer, Researcher.

Leading graduate courses for Functional and Logic Programming at Leningrad Polytechnic Institute. Various High School and undergraduate courses (for Math and Computer Science) at schools and at Leningrad Palace for Pioneers and Scholars.

Main R/D Results: (designed and implemented systems and algorithms):

1994-95: A NLP approach to hypothesis formation and ambiguity elimination in OCR for recognition of hand-written English language sentences. 1991-1999: Expert and NLP system design technology and programming language SAMPLE (see http://www.webspawner.com/users/samplex/ for details). 1986: New computer typesetting technology and programming language SPTAB for printing large astronomical table editions (this work received The 1-st Degree Award in N.Copernic Young Scientist Competition at the Russian Academy in 1983; this was my Ph.D. thesis). See USSR Astronomical Year Books for a demo and the thesis for details.

Main Publications: See http://www.webspawner.com/users/samplexpublications/

Additional Data: 15 published papers in English and Russian. Experience in scientific and technical writing in English. Recommendations from internationally recognised Israel and Russian computer businessmen and scientists. Have a car. Musician (pianist-improviser).

I took the following courses and special courses/seminars (some of them at the Beltsy Pedagogical Institute, some at the Institute of Theoretical Astronomy as preparation for 3-rd degree examinations, lead by Leningrad University professors). I didn't attend any courses at Leningrad Polytechnic Institute but a course for 3-rd degree examination (Math Logic, Algorithm Theory, Operating Systems). In this institution I have defended Ph.D. thesis "Automation of preparation of table editions with information obtained by calculation on a computer" in 1988. The thesis was prepared at the Institute of Theoretical Astronomy as R/D work, including applications in Main Russian Observatory (Pulkovo), Oceanographic Counsel (Leningrad), and various printing houses.

(*) means self-estimation of my level: General Math: Math Analysis, Integral-Differential Calculus, Probability theory, Analytic Geometry, Projective Geometry, General Topology theory, Linear Algebra. General Algebra: Group theory, Finite Group theory, Innel, Field, Module theories, Category Theory (*). Math Logic: Predicate Calculus & First Order Logic (*), Resolution Method (*), Logic Programming (**), Prolog (**), Proof Theory. General Algorithm theory, Automation theory, Markov, Turing, Post and other formulations of an algorithm (*), Program Synthesis (**). Math Linguistics: Formal Language Theory (*), formal language classes (*), Scanning, Parsing, Compilation theory. Computational Linguistics: HMM, morphologic analysis, ambiguity resolution, Corpus linguistics (**). Machine Learning: Inductive Logic Programming (**).Algorithmic Languages: Cobol, Assembler, Pascal, Fortran (**), Basic,Visual Basic (**), C,Visual C++ (**); Functional Programming: Lisp, Planner.

Also I took courses for Physics, Linear Optimisation, Astronomy, Electro-technique, Drawing, Psychology, General Philosophy, Pedagogic, English Language.