Code Verification in the AI Age with Evgheni Demcenco

​Harvard Alumni in Tech AI Reading Group is excited to host Promptend founder Evgheni Demcenco for a discussion on code verification in the AI age.

​Today, engineers generate code faster than they can understand it. How can they be confident the code they're approving and releasing will not lead to unacceptable issues?

​In science, verification is a social process where you must understand the thing you are verifying, and be able to show others how to verify it too.

​Evgheni will explore how this framing of verification applies to software, and what it takes to stand behind code you didn’t write line by line.

​Please note, this event is only open to Harvard alumni.

​Reading for This Session

​Social Processes and Proofs of Theorems and Programs
Richard A. De Millo, Richard J. Lipton & Alan J. Perlis. Communications of the ACM, 1979

​Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications
Giuseppe De Giacomo, Luca Iocchi, Marco Favorito & Fabio Patrizi. ICAPS, 2019.