Wojciech Rozowski | About | Imperial College London

Academic Visitor

Department of Mathematics - Faculty of Natural Sciences

Academic Visitor
Department of Mathematics - Faculty of Natural Sciences

wojciech.rozowski26@imperial.ac.uk (opens in a new tab)

http://wkrozowski.github.io/ (opens in a new tab)⁠

I am a Research Software Engineer at Lean FRO, working on the Lean theorem prover. My research interests span automated reasoning, formal semantics, and verification, with a particular focus on coinductive methods in computer science.

PhD, Computer Science
University College London, London, United Kingdom20 Sep 2021 - 29 Aug 2025

Faculty of Natural Sciences

Academic Visitor

DrWojciech Rozowski

BIO

DEGREES

FACULTY

POSITION NAME