Welcome to the BU Principles of Programming and Verification research group.

Activities

Principles of Programming and Verification Seminar: Because of the recent COVID-19 outbreak, our seminars are held via zoom on Tuesday from 4 pm to 5 pm. If you are interested in attending, please contact Marco Gaboardi <gaboardi@bu.edu>.

You can subscribe to the POPV mailing list here.

Faculty:

Students: