Cesare Tinelli's Teaching

Fall 2023

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.

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