Skip to Main Content
Arts & Sciences Computer Science
  • Research
    • Algorithms & Theory
    • Data Mining & Data Management
    • Machine Learning
    • Networks
    • Programming & Verification
    • Security
    • Systems
    • Vision & Graphics
    • Faculty Awards
    • Technical Reports
    • Grants
  • Undergrad
    • Admissions
    • Program Details
    • Student Resources
  • Master’s
    • Admissions
    • Program Details
    • Student Resources
  • PhD
    • Admissions
    • Program Details
    • Student Resources
  • People
    • Faculty
    • Faculty Leadership
    • Department Staff
    • Researchers & PhD Students
    • Alumni
    • Diversity
  • Engage
    • Events Calendar
    • UR2PhD
    • CS News Tip
    • About
    • Corporate Partners
    • CS Day
    • Newsletter
    • Give Back
  • Course Registration
  • Instagram
  • Facebook
  • Twitter
  • LinkedIn
  • YouTube
Search

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)

Related to Programming & Verification

Research

  • Algorithms & Theory
  • Data Mining & Data Management
  • Machine Learning
  • Networks
  • Programming & Verification
  • Security
  • Systems
  • Vision & Graphics
  • Faculty Awards
  • Technical Reports
  • Grants

Recent News

  • Distinguished CS Colloquium Talk by Prof. Jeff Foster on Dec 15th
  • Team of BU CS majors rank 6 of 93 in Northeast North America Regionals of the International Collegiate Programming Contest
  • Prof Lincoln opens GPT4 Coding Assistant Trial-Class | Deadline: Nov 10th
  • Distinguished CS Colloquium Talk by Prof. Harry Buhrman on Nov 15th
  • BU CS invites applications for new faculty members!
Boston University Arts & Sciences
Department of Computer Science
665 Commonwealth Avenue
Boston, MA 02215
  • Instagram
  • Facebook
  • Twitter
  • LinkedIn
  • YouTube
© Boston University. All rights reserved. www.bu.edu