Rutgers logo
Department of Mechanical and Aerospace Engineering
Rutgers logo
Department of Mechanical and Aerospace Engineering
Rutgers logo
Department of Mechanical and Aerospace Engineering
Rutgers logo
Department of Mechanical and Aerospace Engineering
  • Events

  • Verification of Cyber-Physical Systems with Synchronous Programming and Refinement Types

Verification of Cyber-Physical Systems with Synchronous Programming and Refinement Types

Date & Time

Wednesday, April 29, 2026, 2:00 p.m.-3:20 p.m.

Category

Colloquium

Location

Fiber Optics Building, Elmer Easton Hub Auditorium Piscataway, NJ, 08854

Contact

Amin Reihani

ar2115@soe.rutgers.edu

Information

Presented by the Department of Mechanical and Aerospace Engineering

Spring 2026 Colloquium Series
Spring 2026 Colloquium Series Schedule