People / Owen Lynch
Research Software Engineer
Owen Lynch is a mathematician who sometimes writes software. He holds a MSc in Mathematics (concentration: Probability and Statistics) from Utrecht University and a BSc in Mathematics from Brown University. Fundamentally, Owen is interested in two things. The first thing is user interface design, specifically user interface design for mathematics. This ranges from streamlining mathematical theories to make them cleaner and easier to understand, to figuring out how to do math on a computer effectively, to actual web interfaces for mathematical objects. The second thing is statistical mechanics: how does predictability emerge from many small parts that we have only imperfect information about? Hopefully the first thing should end up making the second thing easier to answer.
Blog posts
| Title | Date |
|---|---|
| The three functions of a name: reference, identity and display | 2025-05-07 |
| Declarative Models and Collaborative Modeling | 2024-10-31 |
| A Retrospective on the Oxford–Topos Meeting | 2024-03-13 |
| Introducing InterTypes | 2023-11-14 |
| Towards a Research Program on Compositional World-Modeling | 2023-06-15 |
| Symbolic presentations of dynamical systems | 2023-05-08 |
| Imperative Programming with Poly | 2023-04-05 |
| Algebraic geometry for the working programmer | 2023-03-23 |
| Compositional Thermostatics | 2021-09-09 |
| Get to know our Summer Research Associates | 2021-07-19 |