Skip to content

Commit

Permalink
Merge pull request #8 from CLC-UIowa/ajreynol-patch-1-1
Browse files Browse the repository at this point in the history
Update andrewReynolds.md
  • Loading branch information
ahubers authored Sep 10, 2024
2 parents 35d9ac1 + 2334958 commit 61ec8f2
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions _members/andrewReynolds.md
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
---
name: Andrew Reynolds
pronouns:
pronouns: he/him
role: Research Scientist
subrole: Research Scientist
interests: addme
email: addme
website: addme
photo:
interests: SMT, Automated Theorem Proving, Synthesis
email: [email protected]
website: https://homepage.cs.uiowa.edu/~ajreynol/
photo: ajr-2014.jpg
layout: member
subpath: '/assets/img/'
---
Expand Down

0 comments on commit 61ec8f2

Please sign in to comment.