Background
Bauer, Michael Anthony was born on February 18, 1948 in Dayton, Ohio, United States.
- Photos
- Works
- Photos
- Works
Michael Anthony Bauer
Edit Profile
Michael Anthony Bauer, Canadian Computer scientist, educator. Achievements include research in distributed computing, especially distributed systems and applications management, distributed algorithms, correctness, languages for distributed computing, verification; software engineering, including methodologies, testing, formal specifications, development environments.
Education
Bachelor of Science, U. Dayton, 1970; Master of Science, U. Toronto, 1971; Doctor of Philosophy in Computer Science, U. Toronto, 1978.
Career
Researcher artificial intelligence, Edinburgh U., 1974-1975;
professor computer science, U. Western Ontario, since 1975;
department chairman, U. Western Ontario, 1991-1996;
senior director Institute of Transportation Studies, U. Western Ontario, since 1996. Consultant Geac Computers International, 1984-1988, International Business Machines Corporation, 1991-1994. Advisor International Business Machine Center Advance Studies, 1990-1991.
Visiting scientist International Business Machines Corporation Center for Advanced Studies, 1991-1998.
Achievements
Membership
Member Canada Information Processing Society (board directors 1984-1988), Association Computing Machinery (board directors 1989-1994).
Connections
Married; 2 children.
