Stream: new members
Walter Moreira (May 04 2020 at 05:07):
Hello folks. I have a PhD in math but I've been in the software development world since long time ago. Recently, I got deeper into types as a way to help developing more correct software, and that took me to find Lean and to start playing with it. This is an amazing progress in formalizing math. Congrats all!
I'm looking forward to learning and asking more questions.
Johan Commelin (May 04 2020 at 05:13):
What kind of maths did you do in your PhD?
Patrick Massot (May 04 2020 at 07:38):
Welcome Walter! Did you see this thread? Having feedback would be very useful to the community.
Walter Moreira (May 04 2020 at 14:22):
@Johan Commelin My dissertation was in algebraic combinatorics, specifically representations of symmetric functions and non-commutative versions. I've done also some synthetic differential geometry and stochastic calculus (but that was looong time ago). I would love in the future potentially contributing in some of these areas to Lean.
Johan Commelin (May 04 2020 at 14:28):
Great! Welcome on board! Looking forward to your contributions.
Mathieu Guay-Paquet (May 04 2020 at 20:51):
Cool! I didn't know but between you and @Aram Bingham it looks like we have a growing number of algebraic combinatorialists around. I'm looking forward to the day when we have lots of stuff formalized about representations of and symmetric functions and Grassmannians and so on.
Last updated: May 11 2021 at 12:15 UTC