91影视

Skip to Main Content

Dr. Denise Woit

Professor, Undergraduate Program Director
416-979-5000 ext. 555063

Research Interests

Formal Methods

Software Analysis

Software Reliability

Software Testing

Software Verification and Validation

Course Code Course Name
CPS 305 Data Structures
CPS 393 Introduction to UNIX, C and C++
CPS 590 Operating Systems I
CPS 707 Software Verification and Validation

  • ACM
  • IEEE

Year Degree University
听1993 Ph.D. in Computer Science Queen's University
Back to Our People