Columbia, SC

Stream: Geographic locality

[Utku Okur]

I am at novice level!

[Kevin Buzzard]

Lean is sufficiently new that we were all at novice level relatively recently :-)

[Matthew Ballard]

I am also (around) here.

[Mac Malone]

It is nice to see more people using Lean from the Carolinas!

[Jared Corduan]

I am in Charleston, SC. I am really excited about the new math PhD program at the College of Charleston, especially since it has a "Computational Project Component" which includes things like using Lean.

[Matthew Ballard]

Nice!

[Florent Schaffhauser]

Interesting! You mean this, right?

All students in the program must complete a computational project that will become an integral part of the dissertation.Computational projects will lead to one or more of the following: creation of new computational methods or tools to advance mathematical understanding (including algorithms, symbolic software packages, and visualization); computer-assisted proofs and experimental mathematics (i.e. formal results inspired by experimentation, conjectures suggested by experiments, and data supporting significant hypotheses); development of large numerical or statistical codes yielding new mathematical data.

https://catalog.cofc.edu/preview_program.php?catoid=26&poid=5457&hl=%22phd%22&returnto=search

[Jared Corduan]

yes, that's it!

[Austin Schulz]

Anyone in Charleston SC interested in collaboration with Lean or number theory research?

[Jared Corduan]

hi @Austin Schulz , sorry I did not notice this for so long. I am in Charleston SC and would enjoy collaborating on a Lean project. I've been trying to start up a Lean meetup group in Charleston, we meet every second Tuesday of the month at the Charleston Tech Center at 5:30pm. For December's meeting, we are planning on doing some of the new Advent of Code exercises together. Let me know if you would like to hear more about it. Nice to meet you!