We host a weekly Principles of Programming and Verification Seminar<\/span><\/a>. You can subscribe to the POPV mailing list here<\/a>.\u00a0<\/span><\/p>\n If you are interested in giving a talk at this seminar, please contact the organizer Ugur Yavuz<\/a>, Ankush Das<\/a>, or Marco Gaboardi<\/a><\/span>. <\/p>\n Faculty: <\/strong> \n\t Assistant Professor<\/p>\t<\/a>\n\n\t\n<\/li>\n\t\t\t\t\t\n Professor and Associate Chair of Instructional Support<\/p>\t<\/a>\n\n\t\n<\/li>\n\t\t\t\t\t\n Professor<\/p>\t<\/a>\n\n\t\n<\/li>\n\t\t\t\t\t\n Professor Emerita<\/p>\t<\/a>\n\n\t\n<\/li>\n\t\t\t\t\t\n Associate Professor<\/p>\t<\/a>\n\n\t\n<\/li>\n\t\t\t<\/ul>\n<\/p>\n Students:\u00a0<\/strong>\n\t PhD Candidate<\/p>\t<\/a>\n\n\t\n<\/li>\n\t\t\t\t\t\n PhD Candidate<\/p>\t<\/a>\n\n\t\n<\/li>\n\t\t\t\t\t\n PhD Candidate<\/p>\t<\/a>\n\n\t\n<\/li>\n\t\t\t\t\t\n PhD Candidate<\/p>\t<\/a>\n\n\t\n<\/li>\n\t\t\t\t\t\n PhD Candidate<\/p>\t<\/a>\n\n\t\n<\/li>\n\t\t\t<\/ul>\n<\/p>\n Past Members:<\/strong><\/p>\n 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.\u00a0 If you are interested in giving a talk at this seminar, please contact the organizer Ugur Yavuz, Ankush Das, or Marco Gaboardi. Faculty: […]<\/p>\n","protected":false},"author":1690,"featured_media":0,"parent":19243,"menu_order":8,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/pages\/9311"}],"collection":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/users\/1690"}],"replies":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/comments?post=9311"}],"version-history":[{"count":50,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/pages\/9311\/revisions"}],"predecessor-version":[{"id":14035,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/pages\/9311\/revisions\/14035"}],"up":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/pages\/19243"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/media?parent=9311"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\n<\/span><\/p>\n\n\t\t\t\t\t\n
![\"\"](\"\/cs\/files\/2023\/12\/profile-2-150x150.jpg\")
\t\t<\/figure>\n\n\t\tAnkush Das<\/h6>\n\t\t
![\"\"](\"\/cs\/files\/2019\/08\/Marco-Gaboardi-1-150x150.jpg\")
\t\t<\/figure>\n\n\t\tMarco Gaboardi<\/h6>\n\t\t
![\"\"](\"\/cs\/files\/2017\/03\/Kfoury-150x150.jpg\")
\t\t<\/figure>\n\n\t\tAssaf Kfoury<\/h6>\n\t\t
![\"\"](\"\/cs\/files\/2019\/01\/alley-1-150x150.jpg\")
\t\t<\/figure>\n\n\t\tAlley Stoughton<\/h6>\n\t\t
![\"\"](\"\/cs\/files\/2017\/06\/Xi-150x150.jpg\")
\t\t<\/figure>\n\n\t\tHongwei Xi<\/h6>\n\t\t
\n\t\t\t\t\t\n
Zachery Casey<\/h6>\n\t\t
![\"\"](\"\/cs\/files\/2019\/08\/profilepic-150x150.jpeg\")
\t\t<\/figure>\n\n\t\tQiancheng Fu<\/h6>\n\t\t
![\"\"](\"\/cs\/files\/2022\/12\/PRIMARY_HEADSHOT_SQUARE-Jared-Pincus-1-150x150.jpg\")
\t\t<\/figure>\n\n\t\tJared Pincus<\/h6>\n\t\t
June Wunder<\/h6>\n\t\t
![\"\"](\"\/cs\/files\/2023\/03\/uyyavuz-profile-150x150.png\")
\t\t<\/figure>\n\n\t\tUgur Yavuz<\/h6>\n\t\t
\n
\n