Yuri Gurevich#
| Membership Number: | 2522 |
| Membership type: | FOREIGN |
| Section: | INFORMATICS |
| Elected: | 2008 |
| Main Country of Residence: | UNITED STATES |
| Homepage(s): | http://web.eecs.umich.edu/~gurevich |
Present and Previous Positions
- 1998 - 2018 Principal Researcher, Microsoft Research, Redmond, WA, USA
- 1982 - 1998 Full Prof of Computer Science, U. of Michigan, Ann Arbor, MI, USA
- 1974 - 1982 Full Prof of Math, Ben-Gurion University, Beer-Sheva, Israel
- 1974 - 1978 Assoc Prof of Math, Ben-Gurion University, Israel
- 1972 - 1973 Sr. Researcher, Georgian Academy of Sciences, Tbilisi, USSR
- 1971 - 1972 Prof and Chair, Algebra and Computer Science, Kuban State U, USSR
- 1969 - 1971 Prof and Chair, Math, National Economy Institute, Sverdlovsk, USSR
- 1966 - 1969 Associate Prof, Math, Ural State University, USSR
- 1965 - 1966 Assistant Prof, Math, Ural State University, USSR
- 1964 - 1965 Assistant Prof, Math, University of Krasnoyarsk, USSR
Fields of Scholarship
- Computer security, in particular access control and security policies
- Mathematical logic and complexity theory
- Model based testing
- Software specification
Honours and Awards
- 2010 - 2011 Aisenstadt Chair
- 2005 Dr. Honoris Causa, Ural State University, Ekaterinburg, Russia
- 2003 Distinguished Chair, Pacific Institute for Mathematical Studies
- 1998 Dr. Honoris Causa, the University of Limburg (now of Hasselt), Belgium
- 1997 Fellow of the Association for Computing Machinery
- 1995 Fellow of John Simon Guggenheim Memorial Foundation
- 1995 Distinguished Visitor Medal, the University of Helsinki
