معرفی
Affiliations & Roles: Professor at Carleton University's School of Computer Science. Served as Associate Director and Director of the School. Holds a Ph.D. from Cornell University (1988), along with M.S. and B.A. from Carleton University.
Education:
- Ph.D. in Computer Science, Cornell University, 1988
- M.S. and B.A., Carleton University
Research Interests:
- Automated Reasoning
- Formal Methods in Software Engineering
- Programming Languages & Type Theory
- Interactive Theorem Proving Systems
- Software Verification (including real-time systems)
- Integration of theorem provers with verification tools
Professional Background:
- 1987–1992: Faculty Member & Research Associate, Cornell University
- 1992–1999: Member of Technical Staff at Bell Labs (AT&T/Lucent)
- 2000–Present: Professor at Carleton University
Advising & Grants: No specific advising/grant information provided in texts.
Labs/Teams: Leadership roles in School of Computer Science's academic/research activities.
۰مقاله منتشرشده
