Ian M. Mitchell

Full Professor, Department of Computer Science, University of British Columbia
Joined
November 2025

Names

Ian M. Mitchell (Preferred)
, 
Ian M Mitchell
, 
Ian Mitchell

Emails

****@ubc.ca (Confirmed)

Personal Links

Career & Education History

Full Professor
Department of Computer Science, University of British Columbia (ubc.ca)
2017 – Present
Associate Professor
Department of Computer Science, University of British Columbia (ubc.ca)
2009 – 2017
Assistant Professor
Department of Computer Science, University of British Columbia (ubc.ca)
2003 – 2009
Postdoc
Electrical Engineering and Computer Science, University of California, Berkeley (berkeley.edu)
2002 – 2003
PhD student
Scientific Computing and Computational Mathematics, Stanford University (stanford.edu)
1997 – 2002
MS student
Department of Computer Science, University of British Columbia (ubc.ca)
1994 – 1997
Undergrad student
Engineering Physics, University of British Columbia (ubc.ca)
1989 – 1994

Advisors, Relations & Conflicts

Postdoc Advisor
S. Shankar Sastry
2002 – 2003
PhD Advisor
Ronald Fedkiw
2000 – 2002
PhD Advisor
Claire Tomlin
1998 – 2002

Expertise

cyber-physical systems
Present
control verification
Present
generative model checking
Present
AI forensics
Present
shared control
Present
reachability
Present
Hamilton-Jacobi equations
Present
robot motion planning
Present
level set methods
Present
wheeled mobility assistive technology
Present

Publications

View all 64 publications

Co-Authors

View all 85 co-authors