Cesare Tinelli's Teaching
Fall 2023
Formal Methods in Software Engineering, CLC seminar
Drop-in Hours
Office: 1 Jessup Hall, Room C
Zoom: 884 316 858
Tue 2:15pm-3:15pm (office only),
Wed 11:30pm-12:30pm (Zoom only),
Thu 4:00pm-5pm (office only),
and by appointment.
Recent Courses
CS:2230 | Computer Science II: Data Structures | Spring 2023 |
CS:3820 | Programming Language Concepts | Fall 2018 |
CS:4350 | Logic in Computer Science | Spring 2022, Spring 2021 |
CS:4420 | Artificial Intelligence | Spring 2019 |
CS:4980 | Foundations of Embedded Systems | Spring 2020 |
CS:5810 | Formal Methods in Software Engineering | Fall 2023, Fall 2022 |