Walter Moreira (introduction)

Stream: new members

[Walter Moreira]

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]

What kind of maths did you do in your PhD?

[Patrick Massot]

Welcome Walter! Did you see this thread? Having feedback would be very useful to the community.

[Walter Moreira]

@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]

Great! Welcome on board! Looking forward to your contributions.

[Mathieu Guay-Paquet]

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 $S_n$ and symmetric functions and Grassmannians and so on.