| CARVIEW |
Select Language
HTTP/2 200
server: nginx/1.28.0
date: Wed, 31 Dec 2025 23:14:29 GMT
content-type: text/html; charset=utf-8
x-xss-protection: 0
x-content-type-options: nosniff
x-download-options: noopen
x-permitted-cross-domain-policies: none
referrer-policy: strict-origin-when-cross-origin
link: ; rel=preload; as=style; nopush,; rel=preload; as=script; nopush
vary: Accept
etag: W/"104974e01fe6f0a0ca5d897a33a079af"
cache-control: max-age=0, private, must-revalidate
x-request-id: 138d825e359718d57b8b18142846994e
x-runtime: 0.013819
strict-transport-security: max-age=31536000
content-security-policy: default-src 'self'; script-src 'self'; style-src 'self'; img-src * https://*; object-src 'none'; child-src 'none'; media-src * https://*; connect-src * https://*;
content-encoding: gzip
06/13/25: Gradual Verification with Jenna DiVincenzo - Boston Computation Club
06/13/25: Gradual Verification with Jenna DiVincenzo
Boston Computation Club
June 14, 2025
59 minutes
Jenna DiVincenzo is an Assistant Professor in the Elmore Family School of Electrical and Computer Engineering @ Purdue University. She is broadly interested in research spanning software verification, programming languages, and software engineering, especially research aimed at making verification techniques and programming languages more usable and scalable. Today Jenna joined us to talk about her broad research program in gradual verification. This was a really interesting talk with great Q&A and we hope you enjoy it as much as we did!
Or Listen Elsewhere