Cesare Tinelli's Teaching
Fall 2025
CLC seminar, Formal Methods in Software Engineering
Drop-in Hours
Office: 1 Jessup Hall, Room C
Zoom: 884 316 858
Tue 2:15pm-3:45pm (Office or Zoom),
Thu 3:15pm-4:45pm (Office or Zoom),
and by appointment (Office or Zoom).
Recent Courses
| CS:2230 | Computer Science II: Data Structures | Spring 2025, 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 2025, Fall 2023, |