Programming & Verification

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:

• 

  Marco Gaboardi

  Associate Professor and Director of Graduate Studies

• 

  Assaf Kfoury

  Professor

• 

  Alley Stoughton

  Research Professor

• 

  Hongwei Xi

  Associate Professor

Students: 

• ZC

  Zachery Casey

  PhD Student

• 

  Qiancheng Fu

  PhD Student

• 

  Jared Pincus

  PhD Student

• JW

  June Wunder

  PhD Student

• 

  Ugur Yavuz

  PhD Student

• 

  Cheng Zhang

  PhD Student

Upcoming Faculty:

• • Ankush Das (2024)

Past Members:

• • William Blair (PhD 2023)
  • Jiawen Liu  (PhD 2023)
  • Arthur Azevedo de Amorim (PostDoc 2023)
  • Weihao Qu (PhD 2022)
  • Mark Lemay (PhD)