Introduction: Merrick Hua

Stream: new members

[Merrick Hua]

Hi everyone! My name is Merrick and I'm an incoming grad student at Caltech, working in geometric analysis. I've only recently started learning Lean, but my eventual goal is to contribute to formalizing the definitions of some of the many variationally defined objects in geometric analysis (minimal surfaces, harmonic maps, etc.). I've also read the thread in Bennett Chow's introduction #new members > Bennett Chow @ 💬 and I think there's a lot of interesting ideas in there as well.

If anyone's interested in any of the above, or more generally in differential geometry or PDEs, I'd love to chat! I have a lot of catching up to do on the Lean side, but it would be nice to get a small group working together.

[Michael Rothgang]

Hi! I love chatting about differential geometry; my work also intersects with analysis (but I'm not a geometric analyst by training).

[Michael Rothgang]

I believe @Stefan Kebekus formalise a lot about harmonic maps already.

[Stefan Kebekus]

@Merrick Hua Welcome! As Michael points out, I formalized a few things about harmonic maps, but I wouldn't call that "a lot". I'd be more than happy to discuss these matters if you (or anyone else) is interested.