Zulip Chat Archive

Stream: general

Topic: graduate programs


Patrick Thomas (Mar 10 2021 at 01:42):

Hi. I'm not sure if or when, but I was wondering what graduate programs are out there. I have found some, but probably not all, and it would be great to hear from people who might have first hand experience. Thank you.

Roman Bars (Mar 10 2021 at 04:48):

Graduate programs for what? Specifically for formalized math? I don't think those exist yet. Probably the best bet is applying to computer science departments that have faculty in this area.

Kevin Buzzard (Mar 10 2021 at 06:32):

I have a student Ashvni Narayanan working in formalised maths (Iwasawa theory) and this week I heard that Jujian Zhang, a former MSc student of mine who formalised transcendence of e in Lean, has been awarded funding by Imperial to do a PhD with me on elliptic curves and modular forms starting in October.

Aaron Anderson (Mar 10 2021 at 17:25):

If you've "found some", then you probably have already made a note of CMU, but there are a lot of @Jeremy Avigad 's students on this Zulip.

Jeremy Avigad (Mar 10 2021 at 18:28):

NB my home department is the (unusually mathematical) philosophy department at Carnegie Mellon. It's a really interesting department that opens up all kinds of interesting possibilities for cross-disciplinary collaboration, and I have been blessed with a number of amazing students and postdocs over the years. It's a small PhD program and subject to the usual vicissitudes of funding, but we're always looking for good students.


Last updated: Dec 20 2023 at 11:08 UTC