Zulip Chat Archive

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: Dec 20 2023 at 11:08 UTC