Isidore Mohr
I'm a software developer based in Philadelphia. I like programming languages (especially type theory), philosophy of mathematics, and music.
With Claire Wang, I co-organize Composition, an event series on art, math, and code.
If you'd like to get in touch, my email is isidoremohr@gmail.com.
Publications
Demo: Girard's Paradox as Structure Music
[Paper]
[Code]
[Music]
Isidore Mohr. FARM Workshop, ICFP/SPLASH 2025.
Demo: The Reduction of Girard's Paradox as Music
[Paper]
[Code]
[Music]
Isidore Mohr. FARM Workshop, ICFP 2026.
Composition: Building Community with Arts, Math, and Code
[Paper]
Isidore Mohr, Claire Wang. FARM Workshop, ICFP 2026.