ciTEZenb | citezenb.tez

ciTEZenb | citezenb.tez

18 Jul 2023

Tezos might look like a loner to crypto hypesters now, but the things that get hyped are mostly code disasters waiting to happen. Tezos' time will come #FormalVerification #CodeCorrectness #Tezos #crypto

639

UIowa Computer Science

UIowa Computer Science @UIowaCS

10 Nov 2021

📢 Join us 11/12 4pm CT for "Specifying➕Verifying Compilation of #SecureC to Tagged Hardware" Tolmach will discuss work w/ #FormalSpecification➕compiler #verification towards PIPE-enhanced #MachineLevel #CodeCorrectness. 👀 Online talk info (inc. url): bit.ly/tolmach_11_12

U Iowa Computer Science Colloquium: Specifying and Verifying Compilation of Secure C to Tagged Hardware
Andrew Tolmach
Friday, November 12, 2021
4:00 p.m. CT (Online)
Abstract and more at cs.uiowa.edu

Andrew Tolmach is Professor of Computer Science at Portland State University. His research interests are in functional programming languages, verification, compilers, tools, and applications, with a focus on high-assurance software environments. He teaches courses in programming languages, compilers, semantics, and theorem proving.

ALT U Iowa Computer Science Colloquium: Specifying and Verifying Compilation of Secure C to Tagged Hardware Andrew Tolmach Friday, November 12, 2021 4:00 p.m. CT (Online) Abstract and more at cs.uiowa.edu Andrew Tolmach is Professor of Computer Science at Portland State University. His research interests are in functional programming languages, verification, compilers, tools, and applications, with a focus on high-assurance software environments. He teaches courses in programming languages, compilers, semantics, and theorem proving.