Skip to content

Commit 24d7ee7

Browse files
authored
Update andrew.md
1 parent fb7ec78 commit 24d7ee7

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

_members/andrew.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22
name: Andrew Marmaduke
33
pronouns: he/him
44
role: Research Scientist
5-
subrole: Postdoctoral scholar
6-
interests: Elden Ring
5+
subrole: Postdoctoral Scholar
6+
interests: Dependent Type Theory, Programming Languages
77
88
website: https://uiowa.marmamorphism.com/#:~:text=Andrew%20Marmaduke
99
photo: andrew.jpg

0 commit comments

Comments
 (0)