Jan 26 - Faculty Colloq & CSE 600: Using Dafny to Reason About Concurrency | Department of Computer Science

Skip to main content

Department of Computer Science

Main menu

Home
About Us
- Distinguished Lecture Series (DLS)
- Career Opportunities
  - Tenure-Track Assistant or Associate Professor in AI
Admissions
People
Research
- Research
- Research Lab List
Programs
Giving

Breadcrumb

Home
About Us
All News
Jan 26 - Faculty Colloq & CSE 600: Using Dafny to Reason About Concurrency

Jan 26 - Faculty Colloq & CSE 600: Using Dafny to Reason About Concurrency

Right About Us Menu

Distinguished Lecture Series (DLS)
Career Opportunities

Latest Stories

Stony Brook Scientists Use AI to Help Avoid Train Accidents
Distinguished Lecture Series on 12/6: Mohit Bansal of UNC Chapel Hill
New York Times Connections Game Defeats the Best AI Models, Find Stony…

Department of Computer Science, Stony Brook University, Stony Brook, NY 11794-2424

Stony Brook University Home Page | CEAS | Members Only Area | Contact Us