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 in a hybrid format on Tuesday from 4 pm to 5:30 pm. If you are interested in attending, please contact Marco Gaboardi <gaboardi@bu.edu>.

You can subscribe to the POPV mailing list here.

Faculty:

Postdocs

Students: