Join us for a Computer Science Seminar at 12:45–1:45 p.m. on Monday, February 17, 2025, at the Stuart Building, room 113. SPeaker Yuanyuan Lei will give a talk titled "Addressing Information Distortion Via Knowledge-Aware Language Modeling."

Full Story

Join us for a Computer Science Seminar at 12:45–1:45 p.m. on Thursday, February 20, at the Stuart Building, 113. Speaker Zachary Sisco will give a talk titled "Verifiable Hardware Design With Solver-Aided Programming Languages."

Full Story

Join us at 12:45–1:45 p.m. on Thursday, February 13, 2025, for a Computer Science Seminar at the Stuart Building, room 113. Viktoria Koscinski will give a talk titled "Identifying Underspecifications in Security Requirements Using a Formal Reasoning Approach."

Full Story