Oxford, UK

Stream: Geographic locality

[Aurelio Carlucci]

Thanks for creating this stream! I am in Oxford. While I am working in algebraic geometry, I recently took up a keen interest in type theory and LEAN.

[Dima Pasechnik]

I'm a lecturer at the CS department of U. of Oxford, and work a lot on various open-source computer algebra projects, mostly SageMath (and I also write maths papers). I know too much about Python, git, bash etc, and too little about proof systems.

[Johan Commelin]

Hi @Dima Pasechnik, welcome!

[Gareth Ma]

(Wow this thread is inactive) Hello, I'll be in Oxford starting from next week (one year masters) :) Coincidentally I am also a SageMath contributor like Dima.

[Gareth Ma]

I work on elliptic curve things in SageMath, and in Mathlib I do all kinds of NT things