Stream: Geographic locality
Topic: Berlin, DE
Tom Houlé (Jun 26 2020 at 11:19):
Hello there! I'm a software engineer who started using Lean mostly as a tool for exploring more mathematics, but also interested in other applications long term. Anyone else in Berlin?
Paul Boes (Aug 20 2020 at 07:59):
Hey, I'm a recently graduated PhD in quantum information theory based in Berlin.
David Blitz (Nov 22 2020 at 19:27):
Hello, I'm based in Berlin and I work in an AI startup as a researcher. I'm currently working through the 'lost levels' of the natural number game.
Gagan Bhatia (Feb 24 2021 at 12:24):
Hello, I'm a software engineer who started using Lean to explore proofs. I have a background in Physics and Chemical Engineering. I'm based in Berlin.
Last updated: May 09 2021 at 23:10 UTC