Update my affiliation (#583)

leanprover-community · Jan 23, 2025 · dbec3e4 · dbec3e4
1 parent 4c89f57
commit dbec3e4
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/data/people.yaml b/data/people.yaml
@@ -9,9 +9,10 @@
 -
   name: Anne Baanen
   descr: |
-       Anne is a post-doc at Vrije Universiteit Amsterdam (The Netherlands).
-       They have been formalizing proofs in mathematics and computer science
-       since 2018.
+       Anne is a Mathematical Research Engineer at the Lean FRO. They did a PhD
+       on formalizing algebraic number theory at Vrije Universiteit Amsterdam
+       (Netherlands). They have been formalizing proofs in mathematics and
+       computer science since 2018.
   img: anne.jpg
 -
   name: Matthew Robert Ballard