You are now in the main content area
Dr. Denise Woit
Professor
Research Interests
Formal Methods
Software Analysis
Software Reliability
Software Testing
Software Verification and Validation
- ACM
- IEEE
| Year | Degree | University |
|---|---|---|
| 1993 | Ph.D. in Computer Science | Queen's University |