🦊
Expecto Patronum
Highlights
- Pro
Genevieve A. Mortensen (Ginny)
ginnymortensen
PhD student in bioinformatics @ IUB. Research assistant under Prof. Haixu Tang.
Indiana University Bloomington
Edna Ruiz-Velasco
ednaruiz
PhD in Astrophysics, Postdoc at L.A.P.P./CNRS in Annecy working with the LST-CTA collaboration
Annecy-le-vieux, France
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
PreviousNext