Merge remote-tracking branch 'origin/gh-pages' into production

CLC-UIowa · Oct 26, 2024 · ef393c7 · ef393c7
2 parents dae3592 + ce32449
commit ef393c7
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 10 deletions.
diff --git a/_members/kartik.md b/_members/kartik.md
@@ -1,13 +1,13 @@
 ---
-name: Kartik Sabharbal
-pronouns: 
+name: Kartik Sabharwal
+pronouns: he/him
 role: Graduate Student
 subrole: Ph.D. Student
 advisor: Cesare Tinelli
-interests:
-email:
-website:
-photo: 
+interests: Automated theorem proving, especially automated induction, and programming languages
+email: kartik-sabharwal@uiowa.edu
+website: https://fyrbll.github.io
+photo: kartik.jpg
 layout: member
 subpath: '/assets/img/'
 ---

diff --git a/_members/shweta.md b/_members/shweta.md
@@ -1,13 +1,13 @@
 ---
 name: Shweta Rajiv
-pronouns: 
+pronouns: she/her
 role: Graduate Student
 subrole: Ph.D. Student
 advisor: Cesare Tinelli
-interests:
-email:
+interests: Interactive Theorem Proving, Automated Reasoning, Formal Verification
+email: shweta-rajiv@uiowa.edu
 website:
-photo: 
+photo: shweta.jpg
 layout: member
 subpath: '/assets/img/'
 ---

diff --git a/assets/img/kartik.jpg b/assets/img/kartik.jpg
diff --git a/assets/img/shweta.jpg b/assets/img/shweta.jpg