Events

Dec11

Dissertation Talk: A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications

Cory 531 (Wang Room) Cory Hall
  • Antonio Iannopollo, EECS
The design of cyber-physical systems (CPS), which involve a coordination effort between several domains (i.e., software, real-time, physical, etc.), is a challenging task. To achieve design goals faster while guaranteeing system safety, the correct reuse of existing subsystems is essential. Formal specifications, such as those expressed in Linear Temporal Logic (LTL), have the potential to...
Dec12

Tech Skepticism and Worker Activism: Drawing Lessons for Research and Education

306 Soda Hall
  • Meredith Whittaker, AI Now Institute and Google
  • Matt Caggle, ACLU
  • Jeremy Gillula, Electronic Frontier Foundation
Join the Graduates for Engaged and Extended Scholarship in Computing and Engineering (GEESE) for an end-of-semester event, Tech Skepticism and Worker Activism: Drawing Lessons for Research and Education. Reflecting on events and crises in the tech industry over the past year, our discussion will focus on the implications for members of campus, as researchers, teachers, and students.
Jan23

Capital One Info-Session

Wozniak Lounge (430) Soda Hall
TBA
Jan24

Amazon Info-Session

Wozniak Lounge (430) Soda Hall
TBA
Jan25

Arista Info-Session

Wozniak Lounge (430) Soda Hall
TBA
Jan28

GM Info-Session

Wozniak Lounge (430) Soda Hall
TBA
Jan29

Atlassian Info-Session

Wozniak Lounge (430) Soda Hall
TBA
Jan30

LiveRamp Info-Session

Wozniak Lounge (430) Soda Hall
TBA
Jan31

Yelp Info-Session

Wozniak Lounge (430) Soda Hall
TBA.