Faculty

Wednesday, April 27, 2016 10:30 am - 11:30 am EDT (GMT -04:00)

Electrical and Computer Seminar - Domain Specific Languages for Verified Software

Dr. Damien Zufferey

Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology

Invited by PROFESSOR Krzysztof Czarnecki

ALL ARE WELCOME!

Abstract:
In this talk, I will show how we can harness the synergy between programming languages and verification methods to help programmers build reliable software, prove complex properties about them, and scale verification to industrial projects.

Thursday, April 28, 2016 4:00 pm - 4:00 pm EDT (GMT -04:00)

Water Institute RBC Distinguished Lecture 2016

The 2016 Water Institute RBC Distinguished Lecturer is Dr. Jay Famiglietti, University of California, Irvine and California Institute of Technology. His lecture will be on the topic of Water and sustainability: 21st Century realities and the global groundwater crisis.

This is a free public lecture.

For those unable to attend in person, the lecture will also be available via livestream after the lecture.