For solutions manual web site and password, please see your CRC representative. Slides are available here.
Appointments (selected)
1990 - now: Professor, Wayne State University, Department of Computer Science
1985 - 1990: Professor and Chair, Wayne State University, Department of Computer Science
1982 - 1985: Associate Professor of Computer Science and Engineering, University of Michigan, Ann Arbor, Michigan
September 1980 - December 1981: Visiting Associate Professor of Computer Science, California State University, Fullerton
1971 - 1979: Research Scientist and Manager, Research Institute for Mathematical Machines in Prague, Czech Republic
1963 - 1968: Research Engineer and Graduate Research Assistant, Research Institute for Mathematical Machines in Prague, Czech Republic
Part-time and Visiting Appointments (selected)
1992: NASA Goddard Space Flight Center
1988: Harvard University , Division of Applied Science, Center for Research in Computing Technology
1987: Carnegie-Mellon University, Software Engineering Institute, Pittsburgh
1974-1979: Adjunct faculty, Charles University, Faculty of Mathematics & Physics, Department of Computer Science and Cybernetics, Prague, Czech Republic.
1974-1979: Adjunct faculty, Czech Technical University, Faculty of Electrical Engineering, Department of Computers, Prague, Czech Republic.
Education
Ph.D. in Mathematics (Automata and formal languages), Case Western Reserve University, Cleveland, Ohio, 1971
