Reykjavik, Iceland

Stream: Geographic locality

[Calvin Lee]

In a few days, I am moving to Reykjavik to start my postgraduate program!
I don't believe many other Lean users will be in the area, but I figured it wouldn't hurt to start a thread.

I have training in programming and differential geometry, and am currently using Lean to prove some theorems in algebraic geometry. I will also be completing a masters/PhD with Tarmo Uustalu in the distributed systems space :)

[Johan Commelin]

cc @Dagur Asgeirsson

[Dagur Asgeirsson]

Welcome to Reykjavik! Let me know when you're here and we'll meet up! I've met your advisor once -- I'm at the other university but it's just a five minute bike ride away.