From 142a2cfd6e7feced7540a8896ed442fea14c448f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= Date: Tue, 27 May 2025 12:40:56 -0400 Subject: [PATCH] update kevin's affiliation --- 22-formal/lec22-formal.ipynb | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/22-formal/lec22-formal.ipynb b/22-formal/lec22-formal.ipynb index 768de1d..59cb0d3 100644 --- a/22-formal/lec22-formal.ipynb +++ b/22-formal/lec22-formal.ipynb @@ -16,14 +16,14 @@ "\"agile\n", "\n", "## Kevin Laeufer\n", - "### laeufer@berkeley.edu\n", + "### laeufer@cornell.edu\n", "\n", - "- Berkeley PhD student\n", - "- maintainer of the [chiseltest](https://github.com/ucb-bar/chiseltest) library\n", + "- Research Associate at Cornell University\n", + "- former maintainer of the [chiseltest](https://github.com/ucb-bar/chiseltest) library\n", "\n", "**Note**: make sure you have the [z3 SMT solver](https://github.com/Z3Prover/z3) installed to be able to execute the examples on your machine. It should be available through your favorite package manager: _brew_, _dnf_, _apt_ etc.\n", "\n", - "## [CSE 228A](https://classes.soe.ucsc.edu/cse228a/Winter24/)" + "## [CSE 228A](https://classes.soe.ucsc.edu/cse228a/Winter25/)" ] }, {