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:
-
Ankush Das
Assistant Professor
-
Marco Gaboardi
Associate Professor and Director of Graduate Studies
-
Assaf Kfoury
Professor
-
Alley Stoughton
Research Professor
-
Hongwei Xi
Associate Professor
Students:
-
Zachery Casey
PhD Student
-
Qiancheng Fu
PhD Student
-
Jared Pincus
PhD Student
-
June Wunder
PhD Student
-
Ugur Yavuz
PhD Student
Past Members:
-
- Cheng Zhang (PhD 2024)
- William Blair (PhD 2023)
- Jiawen Liu (PhD 2023)
- Arthur Azevedo de Amorim (PostDoc 2023)
- Weihao Qu (PhD 2022)
- Mark Lemay (PhD)