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

Activities

We host a weekly Principles of Programming and Verification Seminar. 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:

Students: 

Past Members: