add Jireh to maintainer list

leanprover-community · Aug 8, 2023 · ecd4452 · ecd4452
1 parent 6bc9a65
commit ecd4452
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 0 deletions.
diff --git a/data/people.yaml b/data/people.yaml
@@ -131,6 +131,15 @@
        University in Pittsburgh. He has been formalizing mathematics
        since 2014.
   img: rob.jpg
+-
+  name: Jireh Loreaux
+  descr: |
+       Jireh is an Associate Professor of Mathematics in the Department of Mathematics
+       and Statistics at Southern Illinois University Edwardsville (USA).
+       He did a PhD in operator theory and operator algebras at the 
+       University of Cincinnati. He has been formalizing mathematics in Lean
+       since 2018, and contributing to mathlib since 2021.
+  img: jireh.jpg
 -
   name: Heather Macbeth
   descr: |

diff --git a/data/teams.yaml b/data/teams.yaml
@@ -40,6 +40,7 @@
     - Chris Hughes
     - Yury G. Kudryashov
     - Robert Y. Lewis
+    - Jireh Loreaux
     - Heather Macbeth
     - Patrick Massot
     - Bhavik Mehta

diff --git a/img/jireh.jpg b/img/jireh.jpg