Cesare Tinelli's Teaching


Spring 2023

Formal Methods in Software Engineering, CLC seminar

Drop-in Hours

Office: 1410 Seamans Center
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.


Recent Courses


CS:2230 Computer Science II: Data Structures Spring 2023
CS:3820 Programming Language Concepts Fall 2018Fall 2016
CS:4350 Logic in Computer Science Spring 2022Spring 2021
CS:4420 Artificial Intelligence Spring 2019Spring 2018
CS:4980 Foundations of Embedded Systems Spring 2020Spring 2016
CS:5810 Formal Methods in Software Engineering Fall 2023Fall 2022


Main Page
Education

  Teaching

  Advisees

  Prospective
  Students