| 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 Group on Foundations of Software Engineering (FSE) Microsoft Research, Redmond, WA |
| 1998 - 2003 |
Principal Researcher and (Founding) Manager of FSE Microsoft Research, Redmond, WA |
| 1982 - 98 | Prof of Computer Science, University of Michigan, Ann Arbor, MI |
| 1995/96 |
Visiting Centre National de la Recherche Scientifique Paris, France (a sabbatical from Michigan) |
| 1988/89 |
Visiting Stanford University and IBM Almaden Research Center (a sabbatical from Michigan) |
| Israeli Period | |
| 1978 - 82 | Prof of Math, Ben-Gurion University, Beer-Sheva |
| 1974 - 78 | Assoc Prof of Math, Ben-Gurion University |
| 1981/82 |
Visiting Bowling Green State University, Ohio (on a leave of absence from Ben Gurion) |
| 1980/81 |
Visiting Hebrew University, Jerusalem (international logic year) |
| 1978/79 |
Visiting Simon Fraser University, BC, Canada (a sabbatical from Ben Gurion) |
| 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, University of Krasnoyarsk |