Zulip Chat Archive

Stream: new members

Topic: Walter Moreira (introduction)


view this post on Zulip 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.

view this post on Zulip Johan Commelin (May 04 2020 at 05:13):

What kind of maths did you do in your PhD?

view this post on Zulip Patrick Massot (May 04 2020 at 07:38):

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

view this post on Zulip 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.

view this post on Zulip Johan Commelin (May 04 2020 at 14:28):

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

view this post on Zulip 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 SnS_n and symmetric functions and Grassmannians and so on.


Last updated: May 11 2021 at 12:15 UTC