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
Professor and Associate Chair of Instructional Support
-
Assaf Kfoury
Professor
-
Alley Stoughton
Research Professor
-
Hongwei Xi
Associate Professor
Students:
-
ZC Zachery Casey
PhD Candidate
-
Qiancheng Fu
PhD Candidate
-
Jared Pincus
PhD Candidate
-
JW June Wunder
PhD Candidate
-
Ugur Yavuz
PhD Candidate
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)