Berlin, DE

Stream: Geographic locality

[Tom Houlé]

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]

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

[David Blitz]

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]

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.

[Adam Kurkiewicz]

Hi all,

I'm a small business owner and a bioinformatician, with a recent interest in the F2F IMO grand challenge. I'm currently learning lean, and based in Charlottenburg, in Berlin.