Skip to main content
  • For Students
  • For Industry
  • For Members
  • Accessibility
  • Login
MIT CSAIL
  • Research
  • People
  • News
  • Events
  • Symposia
  • Forum
  • About
  • Research
  • People
  • News
  • Events
  • Symposia
  • Forum
  • About
  • For Students
  • For Industry
  • For Members
  • Accessibility
  • Login
  • Contact
  • Press Requests
  • Accessibility

Search Keywords

31 results for

  • people (2)
  • projects (1)
  • news (12)
  • events (15)
  • other (1)

Event

Thesis defense: Verifying a concurrent, crash-safe file system with sequential reasoning

Start date and time: Thu, 10/21/2021 - 13:00

News

An Effort to Help Free-Software Developers Avoid Suits

Event

EECS Special Seminar: Taesoo Kim "Scaling Security Practices: Automated Approaches to Eliminate Security Vulnerabilities"

Start date and time: Mon, 04/02/2018 - 16:00

Event

Seminar: Modern Verification for a Rust-Centric World

Start date and time: Fri, 05/17/2024 - 11:00

Event

Microarchitectural Attacks and Beyond

Start date and time: Thu, 02/21/2019 - 13:00

Videolink

Kinect Hand Detection

News

CSAIL welcomes 6 new EECS faculty

CSAIL welcomes six new faculty members to MIT's Department of Electrical Engineering and Computer Science (EECS)!The new faculty include Adam Belay, Stefanie Mueller, Max Shulakar, David Sontag, Ryan Williams and Virginia Vassilev Williams.Adam Belay will join as an assistant professor in July 2017. Belay’s research area is operating systems and networking. Much of his work has focused on restructuring computer systems so that developers can more easily reach the full performance potential of hardware. Previously he worked on storage virtualization at VMware Inc. and contributed substantial power-management code to the Linux Kernel project.

Event

Algorithm Synthesis --- Automatic Application of Algorithmic Paradigms

Start date and time: Fri, 04/28/2023 - 16:00

Event

PLSE Seminar — Tej Chajed: Combining automated and interactive proofs to verify the DaisyNFS concurrent and crash-safe NFS server

Start date and time: Thu, 06/24/2021 - 11:00

Event

The New Normal: Achieving Security in an Ever-Changing Cloud

Start date and time: Wed, 11/02/2022 - 16:00
  •  Load More

MIT CSAIL

Massachusetts Institute of Technology

Computer Science & Artificial Intelligence Laboratory

32 Vassar St, Cambridge MA 02139

  • Contact
  • Press Requests
  • Accessibility
MIT Schwarzman College of Computing