Cesare Tinelli's Teaching
Fall 2024
CLC seminar
Drop-in Hours (starting Aug 26)
Office: 1 Jessup Hall, Room B
Zoom: 884 316 858
Tue 4:00pm-5:00pm (Office),
Thu 3:30pm-5:00pm (Office),
and by appointment (Office or Zoom).
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 |