Education (all in USSR)

   1968 Dr of Math (a post-PhD degree in Russia)
defended in Ural State University
   1964 PhD in Math, studied in Ural State University
defended in Russian Academy of Sciences, Novosibirsk
   1962 Master in Math, Ural State University
   1957 Gold Medal High School Diploma, Chelyabinsk


American Period
2003 to date Principal Researcher
Microsoft Research, Redmond, WA
1998 - 2003 Principal Researcher and (Founding) Manager of the Group on Foundations of Software Engineering
Microsoft Research, Redmond, WA
1982 - 98 Prof of Computer Science, University of Michigan, Ann Arbor, MI
Israeli Period
1978 - 82 Prof of Math, Ben-Gurion University, Beer-Sheva
1974 - 78 Assoc Prof of Math, Ben-Gurion University
Soviet Period
1972 - 73 Sr. Researcher, Computing Center
Georgian Academy of Sciences, Tbilisi
1971 - 72 Prof and Chair, Algebra and Computer Science Dept
Kuban State University, Krasnodar
1969 - 71 Prof and Chair, Math Dept
National Economy Institute, Sverdlovsk
1966 - 69 Associate Prof of Math, Ural State University
1965 - 66 Assistant Prof of Math, Ural State University
1964 - 65 Assistant Prof of Math, Krasnoyarsk State University


Visiting Positions

1995/96 Centre National de la Recherche Scientifique, Paris, France
1988/89 Stanford University and IBM Almaden Research Center, USA
1981/82 Bowling Green State University, Ohio, USA
1980/81 Hebrew University (International Logic Year), Jerusalem, Israel
1978/79 Simon Fraser University, BC, Canada