Command palette
Search and navigate
Pipeline
Grad outreach
Professors
Douglas Howe
Professor ·
Carleton University
· School of Computer Science
✉ Douglas.Howe@carleton.ca
Website
QS #781
2026
Log email
List
Research focus
automated reasoning
formal methods in software engineering
programming languages
software engineering
Keywords
automated reasoning
formal verification
type theory
proof assistants
Recent works
Sign in to see data
Sign in
Lab
Sign in to see data
Sign in
Note
0