Skip to content

Commit 8e97137

Browse files
committed
Restructured member page
1 parent 75bce87 commit 8e97137

File tree

6 files changed

+22
-10
lines changed

6 files changed

+22
-10
lines changed

_members/andrew.md

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,7 @@
11
---
22
name: Andrew Marmaduke
33
pronouns: he/him
4-
role: Research Scientist
5-
subrole: Postdoctoral Scholar
4+
role: Postdoctoral Scholar
65
interests: Dependent Type Theory, Programming Languages
76
87
website: https://uiowa.marmamorphism.com/#:~:text=Andrew%20Marmaduke

_members/andrewReynolds.md

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,6 @@
22
name: Andrew Reynolds
33
pronouns: he/him
44
role: Research Scientist
5-
subrole: Research Scientist
65
interests: SMT, Automated Theorem Proving, Synthesis
76
87
website: https://homepage.cs.uiowa.edu/~ajreynol/

_members/daniel.md

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,6 @@
22
name: Daniel Larraz
33
pronouns: he/him
44
role: Research Scientist
5-
subrole: Research Scientist
65
interests: Formal Verification, Automated Reasoning
76
87
website: https://daniel-larraz.github.io/

_members/ethan.md

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,8 @@
11
---
22
name: Ethan Rooke
33
pronouns: he/him
4-
role: Research Scientist
5-
subrole: Postdoctoral scholar
6-
interests: Rafting
4+
role: Postdoctoral scholar
5+
interests: Applications of geometric and topological techniques, formal methods
76
87
website: https://ethan.roo.ke
98
photo: ethan.jpg

_members/hansjoerg.md

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,7 @@
11
---
22
name: Hans-Jörg Schurr
33
pronouns: he/him
4-
role: Research Scientist
5-
subrole: Postdoctoral Scholar and Adjunct Assistant Professor
4+
role: Postdoctoral Scholar and Adjunct Assistant Professor
65
interests: SMT Solving
76
87
website: https://schurr.io

_pages/members.md

Lines changed: 18 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ nav_order: 1
1616
{% endfor %}
1717
</div>
1818

19-
## Research Scientists & Postdoctoral Scholars
19+
## Research Scientistss
2020

2121
<div class="row">
2222
{% assign members = site.members | where: 'role', 'Research Scientist' %}
@@ -25,6 +25,14 @@ nav_order: 1
2525
{% endfor %}
2626
</div>
2727

28+
## Postdoctoral Scholars
29+
30+
<div class="row">
31+
{% assign members = site.members | where: 'role', 'Research Scientist' %}
32+
{% for member in members %}
33+
{{ member | slice: 106, 1000 }} <!-- HACK! -->
34+
{% endfor %}
35+
</div>
2836

2937
## Graduate Students
3038

@@ -35,12 +43,21 @@ nav_order: 1
3543
{% endfor %}
3644
</div>
3745

46+
## Visitors
3847

48+
<div class="row">
49+
{% assign members = site.members | where: 'role', 'Visiting Scholar' %}
50+
{% for member in members %}
51+
{{ member | slice: 106, 1000 }} <!-- HACK! -->
52+
{% endfor %}
53+
</div>
3954

4055
## Recent Alumni
56+
4157
- [Arjun Viswanathan, Ph.D. '24](https://homepage.cs.uiowa.edu/~viswanathn/). *Visiting assistant professor at Union College, Schenectady, NY*
4258
- [Andrew Marmaduke, Ph.D. '24](https://uiowa.marmamorphism.com/#:~:text=Andrew%20Marmaduke). *Postdoctoral scholar at University of Iowa, Iowa City, IA*
4359
- [Christa Jenkins, Ph.D. '23](https://cwjnkins.github.io/#:~:text=Postdoctoral). *Postdoctoral associate at Stony Brook University, Stony Brook, NY*
4460

4561
## Former members
62+
4663
See our [alumni page]({{ '/alumni/' | relative_url }}) for a full archive of alumni and former staff.

0 commit comments

Comments
 (0)