Hello!
I am a PhD candidate in Programming Principles, Logic and Verification Group at University College London supervised by Alexandra Silva and Samson Abramsky.
My research interests are centered around (co)algebraic and categorical semantics of programs exhibiting probabilistic/quantitative behaviour. I am also fond of interactive theorem proving and automated verification of software.
Before that I received a BSc in Computer Science from the University of Southampton, where I was supervised by Julian Rathke. As an intern, I worked in the Automated Reasoning Group of Amazon Web Services in Seattle, in Software and Large Scale Systems Group in ARM Research in Cambridge, as well as in Goldman Sachs in London.
In my free time, you can usually find me taking analog photos with my Zenit TTL, learning foreign languages and collecting vinyl records from all over the world.
You can reach me at [(λx.x @ cs.ucl.ac.uk) W.Rozowski] or ping me at Linkedin.
News
- August 2024 - “Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny” got accepted for publication at ICTAC 2024!
- July 2024 - “Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques” got accepted to CONCUR 2024!
- June 2024 - Started an another summer intenship at at Automated Reasoning Group of Amazon Web Services in Seattle.
- May 2024 - two of my papers got accepted! One at LICS and one at ICALP.
- January 2023 - Passed my transfer viva! Also, Stefan Zetzsche and I wrote a blog post about formalising bialgebraic semantics of regular expressions using Dafny and its fantastic support for coinductive reasoning.
- August 2023 - Started my internship at Automated Reasoning Group of Amazon Web Services in Seattle.
- April 2023 - My paper “Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity” (joint work with Tobias Kappé, Dexter Kozen, Todd Schmid and Alexandra Silva) was accepted to ICALP!
- February 2023 - Got accepted for Adjoint School 2023 to a “Behavioural Metrics, Quantitative Logics and Coalgebras” project!
- January 2023 - Visiting Cornell University.
Research
- Gabriele Lobbia, Wojciech Różowski, Ralph Sarkis, Fabio Zanasi, “Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams” - [arxiv preprint]
- Stefan Zetzsche, Wojciech Różowski, “Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny” - [full paper] (Accepted to ICTAC 2024)
- Keri D’Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Różowski, Paul Wild, “Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques” - [arxiv preprint] (Accepted to CONCUR 2024)
- Wojciech Różowski, “A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions” - [arxiv preprint] (Accepted to ICALP 2024)
- Wojciech Różowski and Alexandra Silva, “A Completeness Theorem for Probabilistic Regular Expressions” - [arxiv preprint] (Accepted to LICS 2024)
- Wojciech Różowski, Tobias Kappé, Dexter Kozen, Todd Schmid and Alexandra Silva, “Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity” - [arxiv preprint] (Accepted to ICALP 2023)
- Todd Schmid, Wojciech Różowski, Alexandra Silva and Jurriaan Rot, “Processes Parametrised by an Algebraic Theory” - [arxiv preprint] (Accepted to ICALP 2022)
- Wojciech Różowski, “Formally verified derivation of an executable and terminating CEK machine from call-by-value λp̂-calculus” - [Extended abstract, SRC, ICFP], [BSc thesis, University of Southampton]
Talks
- 4th Southern and Midlands Logic Seminar - Birmingham - December 2023 - slides
- ICALP’23 - Paderborn - July 2023 - slides
- Research visit at Barbara König’s group - Duisburg - July 2023 - slides
- Adjoint School Seminar (joint talk with Johanna Maria Kirss and Matina Najafi)- Online - April 2023 - slides
- Cornell Programming Languages Discussion Group - Ithaca - February 2023
- The Workshop on Verification of Probabilistic Programs - Haifa - August 2022 - slides
- Midlands Graduate School in Foundations of Computer Science - Nottingham - April 2022 - slides
- Programming Principles, Logic and Verification Group Seminar - London - January 2022 - slides
Teaching
- Assistant for Theory of Computation- UCL - Semester 2 - 2023/2024
- Assistant for Mathematics and Statistics - UCL - Semester 2 - 2023/2024
- Assistant for Intermediate Mathematics for Computer Science - UCL - Semester 2 - 2022/2023
- Assistant for Computability and Complexity Theory - UCL - Semester 1 - 2022/2023
- Assistant for Logic and Database Theory - UCL - Semester 1 - 2022/2023
- Assistant for Mathematics and Statistics - UCL - Semester 2 - 2021/2022
- Assistant for Logic and Database Theory - UCL - Semester 1 - 2021/2022