About Wojciech Różowski

I work on Lean theorem prover at Lean FRO. Previously, did my PhD at University College London.

Besides that, I enjoy shooting analog photography, drinking coffee, and collecting vinyl records from around the world.

London, UK

Lists

Timeline

wkrozowski has no activity yet