PL/Security Seminar: Software Verification at Microsoft

Thursday, September 22, 2016 -
4:00pm to 5:00pm
1240 CS

Speaker Name: 

Tom Ball

Speaker Institution: 

Microsoft Research

Cookies: 

Yes

Cookies Location: 

1240 CS (3:30 PM)

Description: 

This talk will describe several recent/on-going projects at Microsoft Research in the area of software verification.