diff --git a/data/people.yaml b/data/people.yaml index a50d0cc7d..e4a9b1d8f 100644 --- a/data/people.yaml +++ b/data/people.yaml @@ -131,6 +131,15 @@ been formalizing mathematics since 2016, first in Isabelle and now in Lean. img: sebastien.jpg +- + name: Chris Henson + github: chenson2018 + descr: | + Chris is a PhD student in Computer Science, specifically Programming Languages, at Drexel + University (USA). In 2020 he started formalizing computer science in Lean, Rocq, and Agda + while still working in quantitative finance. He has been contributing to Mathlib and CSLib + since 2025. + img: henson.jpg - name: Julia Markus Himmel github: TwoFX diff --git a/img/henson.jpg b/img/henson.jpg new file mode 100644 index 000000000..eeedfbf78 Binary files /dev/null and b/img/henson.jpg differ