Room: STE 5068
Office: 613 562-5800 ext. 6694
Work E-mail: email@example.com
Professor, University of Ottawa, School of Information Technology and Engineering.
Visiting Researcher, McGill University, School of Computer Science.
Associate Professor, University of Ottawa, School of Information Technology and Engineering.
Research Scientist, Bell Labs, Lucent Technologies, Software Principles Research Department.
Adjunct Professor, Stevens Institute of Technology. Graduate Course in AI.
Visiting Researcher, INRIA (National Institute for Research in Computer Science and Control), Rocquencourt and Sophia-Antipolis, France.
Fields of Interest
- Theorem proving, automated deduction
- formal methods in software engineering
- computational logic