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!