Explore Courses
Caroline Trippel
Currently teaching
CS 257: Introduction to Automated Reasoning
CS 357S: Formal Methods for Computer Systems
CS 282: Computer Systems Architecture
EE 282: Computer Systems Architecture
+ 12 independent studies...
CS 199P: Independent Work
CS 191W: Writing Intensive Senior Research Project
CS 499P: Advanced Reading and Research
CS 191: Senior Project
EE 390: Special Studies or Projects in Electrical Engineering
EE 400: Thesis and Thesis Research
CS 199: Independent Work
EE 391: Special Studies and Reports in Electrical Engineering
CS 499: Advanced Reading and Research
CS 390A: Curricular Practical Training
CS 390B: Curricular Practical Training
CS 399: Independent Project
