Computer-Aided Verification
University of Waterloo · ON · CS745
Computer-Aided Verification is a subject at University of Waterloo, ON in CS. It covers topics like computational-mathematics, computer-architecture, computer-vision, information-assurance. It is part of 6 degrees. The information below is compiled from public course material — approximate, not official.
University of Waterloo
CS745
3.00
CS
Topics covered
Degrees that include Computer-Aided Verification
- Doctor of Philosophy (PhD) in Computer Science
- Doctor of Philosophy (PhD) in Computer Science - Internship (transfer entry)
- Doctor of Philosophy (PhD) in Computer Science - Quantum Information
- Master of Mathematics (MMath) in Computer Science
- Master of Mathematics (MMath) in Computer Science - Co-operative Program (transfer entry)
- Master of Mathematics (MMath) in Computer Science - Quantum Information
Frequently asked questions
What is Computer-Aided Verification about?
Computer-Aided Verification covers topics like computational-mathematics, computer-architecture, computer-vision, information-assurance.
Which degrees include Computer-Aided Verification?
Computer-Aided Verification is part of 6 degrees, including Doctor of Philosophy (PhD) in Computer Science, Doctor of Philosophy (PhD) in Computer Science - Internship (transfer entry), Doctor of Philosophy (PhD) in Computer Science - Quantum Information, Master of Mathematics (MMath) in Computer Science, Master of Mathematics (MMath) in Computer Science - Co-operative Program (transfer entry).
How many credit points is Computer-Aided Verification?
Computer-Aided Verification at University of Waterloo is typically around 3.00 credit points. Approximate — confirm with the university.
Where is Computer-Aided Verification taught?
Computer-Aided Verification is taught at University of Waterloo, ON.
Studying Computer-Aided Verification?
Peernovo helps students research, choose and thrive at university — across Australia, the US, the UK and Canada — powered by our AI backbone:
- Explore & compare degrees — across universities and countries with honest, specific information.
- "What Can I Be?" career guidance — an AI pathway councillor that maps degrees to careers.
- See who's studying — your degree at your university — find classmates and study groups.
- AI Task Coach — a Socratic study companion that plans your work around your life.
- Honours & Thesis Research Coach — structure and move your research project forward.
- Smart study planner, exam prep and a daily digest — to keep you on track.
Sources: University of Waterloo public course catalogue. Information is compiled and summarised — not copied verbatim — and is approximate; always confirm with the original source.
Something not right on this page, or want it changed? Let us know and we'll review it.