Cesare Tinelli's Teaching
Spring 2024
CS:4980 Introduction to Automated Reasoning, CLC seminar
Drop-in Hours
Office: 1 Jessup Hall, Room B
Zoom: 884 316 858
Tue 3:00pm-3:30pm (Zoom),
Thu 4:00pm-5:30pm (Office),
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 | Introduction to Automated Reasoning | Spring 2024 |
| CS:4980 | Foundations of Embedded Systems | Spring 2020 |
| CS:5810 | Formal Methods in Software Engineering | Fall 2023, Fall 2022 |