add Shweta info

CLC-UIowa · Oct 16, 2024 · 85ee4b1 · 85ee4b1
1 parent 261f46f
commit 85ee4b1
Showing 1 changed file with 4 additions and 4 deletions.
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/'
 ---