Stream: Geographic locality
Topic: Oxford, UK
Aurelio Carlucci (Apr 12 2020 at 21:55):
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 (Jun 29 2020 at 22:42):
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 (Jun 30 2020 at 04:32):
Hi @Dima Pasechnik, welcome!
Last updated: Jul 29 2021 at 20:11 UTC