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 2022Spring 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 2023Fall 2022

Main Page