Paul B.
About Paul B.
Tl;dr: I’m a software engineer at Indeed with a BA from Denison university in philosophy and computer science. I’m currently working towards my MS at UT Austin (hook em 🤘) Longer version: Broadly, I’m professionally interested in back-end and systems programming, including but not limited to firmware, kernel programming, networking, and drivers. I’m currently a software engineer at Indeed, and I used to be a software engineer at IBM. Academically, I’m interested in modal metaphysics, the metaphysics of social kinds (particularly gender), logic & meta-logic, philosophy of technology, computability, and complexity. I have research experience in modal metaphysics, philosophy of fiction, feminist philosophy of technology, and meta-heuristic algorithms. At the intersection of academia and industry, I’m also into formal methods and software verification (Dafny is pretty neat!) Here are some keywords that describe me if you’re into that sort of thing: Backend, Java, C, C++, Rust, Python, Go, embedded systems, mongoDB, MySQL, firmware, drivers, networking, systems programming