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

Activities

Principles of Programming and Verification Seminar: Our seminars are held in a hybrid format on Wednesday 12pm – 1pm Boston Time. You can subscribe to the POPV mailing list here. 

If you are interested in giving a talk at this seminar, please contact the organizer Marco Gaboradi gaboardi@bu.edu or Cheng Zhang czhang03@bu.edu.

 

Faculty:

Postdocs

Students: