Merge pull request #5 from CLC-UIowa/sage

add sage info
CLC-UIowa · Sep 9, 2024 · e97f2a3 · e97f2a3
2 parents 15f6cf2 + 5cab197
commit e97f2a3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/_members/sage.md b/_members/sage.md
@@ -4,10 +4,10 @@ pronouns:
 role: Graduate Student
 subrole: Ph.D. Student
 advisor: Katherine Kosaian
-interests: addme
-email: addme
-website: addme
-photo: 
+interests: Formal Verification, Formalizing Mathematics
+email: sage-binder@uiowa.edu
+website: https://sagebinder.github.io/
+photo: sage.jpg
 layout: member
 subpath: '/assets/img/'
 ---

diff --git a/assets/img/sage.jpg b/assets/img/sage.jpg