The University of Iowa

Department of Computer Science

CS:5980 Foundations of Embedded Systems

Fall 2026

Lectures

Tue & Thu @ 3:30pm - 4:45pm, E264 CB

Staff & Drop-in Hours

Instructor: Cesare Tinelli, 1 Jessup Hall, Zoom 884-316-858

Mon 2:30-3:30, Wed 11:30-12:30, Thu 1:30-2:30, and by appointment.

All scheduled hours are at the office and on Zoom.

Teaching Assistant: Xiang Liu, Office: 201N MacLean Hall

Tue 10:30-12:00, Frid 1:00-2:30 and by appointment.

Course Tools

Piazza: For announcements, clarifications, questions, and discussions
ICON: For homework submissions and grades
UICapture: For lecture recordings

Credits

The lectures notes are based on a set of lectures notes by Rajeev Alur.