Zulip Chat Archive

Stream: Geographic locality

Topic: Berlin, DE


view this post on Zulip 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?

view this post on Zulip Paul Boes (Aug 20 2020 at 07:59):

Hey, I'm a recently graduated PhD in quantum information theory based in Berlin.

view this post on Zulip 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.

view this post on Zulip 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