skip to main content
Caltech
Division of
Engineering and Applied Science

Michael Vanier

Home  /  People  /  Michael Vanier

Michael Vanier

Teaching Professor of Computing and Mathematical Sciences
B.S., McGill University, 1986; M.S., California Institute of Technology, 1993; Ph.D., 2001. Lecturer in Computing and Mathematical Sciences, 2004-2020; Teaching Professor of Computing and Mathematical Sciences, 2020-.

Related News

Dr. Vanier Named October Professor of the Month
Summer Engineering and Computer Science Institute
Read more news

Publications

View more publications on feeds.library.caltech.edu

Related Courses

2025-26
CS 1 x – Intermediate Computer Programming
CS 11 – Computer Language Lab
CS 111 – Graduate Programming Practicum
CS 115 – Functional Programming
CS 128 – Interactive Theorem Proving
CS 131 – Programming Languages
CS 164 – Compilers
CS 4 – Fundamentals of Computer Programming
2024-25
CS 1 – Introduction to Computer Programming
CS 1 x – Intermediate Computer Programming
CS 115 – Functional Programming
CS 128 – Interactive Theorem Proving
CS 131 – Programming Languages
CS 164 – Compilers
CS 4 – Fundamentals of Computer Programming
2023-24
CS 1 x – Intermediate Computer Programming
CS 11 – Computer Language Lab
CS 111 – Graduate Programming Practicum
CS 115 – Functional Programming
CS 128 – Interactive Theorem Proving
CS 131 – Programming Languages
CS 164 – Compilers
CS 4 – Fundamentals of Computer Programming