Hello!#

I’m Michał Dobranowski (mdbrnowski), a computer science student and an occasional mathematician. I know a thing or two about graph theory, classical algorithmics, and machine learning. I can program in a couple of languages. My academic interests include classic and parameterized computational complexity theory, formal verification, and social choice theory.

You can find me on:

• GitHub, where I host most of my projects
• email: mdbrnowski@gmail.com
• Bluesky
• goodreads

Also, check out my curl card: curl -sL dobranow.ski/cc.

My projects#

• Apportionmentlib — apportionment theory formally verified in Lean 4 (work in progress)
• pabumeasures — a part of my bachelor’s thesis and a library for fast computation of measures on participatory budgeting rules
• GraphReveal — a small graphs database and search system
• lecture notes
• Ramsey growth model implemented in Julia

Book recommendations#

• The Elements of Euclid by Oliver Byrne
• Graph Theory by Reinhard Diestel
• Crime and Punishment by Fyodor Mikhailovich Dostoevsky
• Candide, ou l’Optimisme by Voltaire
• generatingfunctionology by Herbert S. Wilf