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 Ugur Yavuz, Ankush Das, or Marco Gaboardi.

 

Faculty:

Students: 

Past Members: