From 346032a50d135567223659e6f8c851226d2bde7d Mon Sep 17 00:00:00 2001 From: Kartik Sabharwal Date: Mon, 14 Jul 2025 19:05:22 -0500 Subject: [PATCH] added link to home page --- _members/kartik.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_members/kartik.md b/_members/kartik.md index 8d90eb9..5f19a1e 100644 --- a/_members/kartik.md +++ b/_members/kartik.md @@ -6,7 +6,7 @@ subrole: Ph.D. Student advisor: Cesare Tinelli interests: Automated theorem proving, especially automated induction, and programming languages email: kartik-sabharwal@uiowa.edu -website: https://fyrbll.github.io +website: https://homepage.cs.uiowa.edu/~ksabharwal/ photo: kartik.jpg layout: member subpath: '/assets/img/'