Skip to main content
Search
The University of British Columbia
UBC - A Place of Mind
The University of British Columbia
UBC Search
UBC Search
Faculty of Science
Computer Science
Menu
MyCS
Main navigation
About
Contact Us
Overview
By the Numbers
Emergencies & Safety
Health & Wellness
Academic Integrity
Diversity, Equity & Inclusion
Media
Reading Room
People
Leadership
Faculty
Staff
In Memoriam
Undergrads
Prospective Undergrads
How to Apply
Degree Programs & Options
Courses and Registration
Academic Advising
Facilities & Labs
Co-op & Careers
Research Opportunities
Scholarships & Financial Assistance
Student Life
FAQs
Grads
Prospective Grads
Graduate Programs
Registration Info
Grad Courses
Awards & Support for Current Grad Students
Grad Student Life
Research
An Overview
Research Areas
Research Groups
Research Centres
Recent Research News
Recent Research Awards
Research Facilities
Research Videos
Spin-off Companies
News & Events
News
Awards
Events
Industry & Alumni
Industry Partnership
Alumni Connections
Tri-Mentoring Program
Tech Career Fair
GIRLsmarts4tech
Jobs & Careers
Department Jobs
Industry Jobs
Career Resources
Engage
Sponsor Us
Donate
Mobile Menu
About
Contact Us
Floor Maps
Overview
By the Numbers
Emergencies & Safety
Health & Wellness
Academic Integrity
Diversity, Equity & Inclusion
Resources
Groups and Activities
Conferences
History
Media
Reading Room
Services
Books & Journals
eBooks
eJournals
Course Reserves
Past Course Reserves
Research & Publications
Theses
CS Theses
Subject Resources
Careers & Job Hunting Resources
Data Analytics
Entrepreneurship
Game & Animation Resources
Game Theory
Technology & Society
Research Paper Reading Tips
People
Leadership
Former Leadership
Faculty
Staff
In Memoriam
Undergrads
Prospective Undergrads
Why Computer Science at UBC?
How to Apply
Admission Processes
Degree Programs & Options
Majors
Combined Majors
Double Majors
Honours
Minors
Mini-Streams
Second Degree options
BCS 20-month 2nd degree
What is BCS(ICS)?
Academic Schedule
How to Apply
Bridging Module
Co-op
FAQs BCS Program
Info for Int'l Students
BCS Alumni Stories
Contact / People
BSc. Second Degree
Go Global Exchange Program
Program Learning Outcomes
Graduation Requirements
Courses and Registration
Registration Info
Introductory Course Options
Core Curriculum
Prerequisites
Course Offerings
Specialty Courses
Labs & Tutorials
CPSC 110 Challenge Exam
Courses Timetable
Wait Lists
Academic Advising
Promotions
Transfer Credit
Making an Appeal
Appeals About Missing Prerequisites
Appeals Involving a Course You Failed Twice
Appeals to Bypass Others on the Waiting List
Appeals Involving Concurrent Courses or a Standing Deferred (SD) Status
Facilities & Labs
Access
Computing Accounts
General Computing
Lab Availability
Drop-in Study Spaces
Co-op & Careers
Co-op Program
Co-op FAQs & Contacts
Research Opportunities
Is Graduate School for Me? How Do I Start?
Research Award Opportunities
Previous Undergraduate Student Research Awards
Scholarships & Financial Assistance
Student Life
Student Clubs and Affinity Groups
Tri-Mentoring
Experiential Learning
Co-op Program
Student Volunteerism
Venture Founder
Industry Engagement
Undergraduate Health and Wellness
FAQs
Grads
Prospective Grads
Admissions
Eligibility
List of Required Undergraduate Courses
Online Application
Documents To Be Uploaded
Transcripts & Degree Certificates
Statement of Intent
Letters of Reference
English Proficiency Requirements
Evaluation & Timeline
Deferral
Transfer Credits
Prospective Grad Programs
Full-Time Master's Programs
PhD-Track Program
Part-Time Master's Program
PhD - Doctoral Program
Awards & Financial Support for Prospective Students
Graduate Programs
MSc Program
12 Credit MSc Thesis (Thesis Master's)
6 Credit MSc Thesis
Master's Essay
MSc Program Requirements
Finding a Supervisor
MSc Program Timeline
Academic Regulations
Master of Data Science
PhD Track Program
Finding a Supervisor
Coursework
Program Timeline
PhD Program
PhD Supervisory Committee
Research Proficiency Evaluation (RPE)
RPE Design
RPE Examination
RPE Process
Comprehensive Course Requirement
Courses by Research Area for Comprehensive Course Requirement
Thesis Proposal
PhD Program Timeline
Co-op Internship
Forms for Each Graduate Program
Registration Info
Grads in CS
Grads outside CS
Non-Degree Students
Undergraduate Students
Grad Courses
Courses - Winter Term 1
Courses - Winter Term 2
Awards & Support for Current Grad Students
Awards and Deadlines
Tuition Fee Scholarships
Financial Assistantship
Stipends & Support Details 2026-2027
Policy for Teaching Assistantship
Teaching Assistantship: Conflict of Interest and Tutoring
Grad Student Life
Orientation Day
Networking & Mentoring
CSGSA
Research
An Overview
Research Areas
Research Groups
Research Centres
Recent Research News
Recent Research Awards
Research Facilities
Research Videos
Spin-off Companies
Spin-off Guide
News & Events
News
Awards
Events
Events Calendar
Talks
Alumni/Industry Lecture Series
Distinguished Lecture Series
Faculty Lecture Series
Industry & Alumni
Industry Partnership
Ways to Engage with Students and the Department
Hire Our Students or Alumni
Alumni Connections
Alumni Benefits
Alumni/Industry Lecture Series
Alumni Profiles
Stay Connected
Get Involved
Tri-Mentoring Program
Mentoring Resources
Tech Career Fair
GIRLsmarts4tech
Jobs & Careers
Department Jobs
Faculty & Sessional
Staff
Students
Industry Jobs
Non Co-op Job Postings
Employers: How to Post a Job on this Site
Alumni Job Postings
Career Resources
Finding Career Opportunities
Finding Summer Jobs and Internships
Building CS Skills and Experience
Helpful Job Postings Sites
Making the Most of Online Job Postings
Preparing for the Technical Career Fair: Tips
Useful Company Listings for Identifying Possible Employers
Career Planning
Occupational Information
How to Find Salary Information
Events & Workshops
Engage
Sponsor Us
Donate
Breadcrumb
Home
Formal Methods
Research Area Members
Reto Achermann
Affiliate Assistant Professor
Ivan Beschastnikh
Associate Professor
Mark Greenstreet
Professor
Alan Hu
Professor Emeritus
Ian Mitchell
Professor
Alex Summers
Associate Head of Grad Affairs & Professor
Subscribe to
