Cesare Tinelli's Teaching

Spring 2025

CLC seminar, Computer Science II: Data Structures

Drop-in Hours

Office: 1 Jessup Hall, Room B
Zoom: 884 316 858

Tue 2:30pm-4:00pm (Zoom),
Fri 2:00pm-3:30pm (Office),
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 2023,  Fall 2022