Paul B.
Senior Software Engineer at Regrello | MS in CS candidate at UT Austin
- Role
- Senior Ai Engineer at Regrello
- Location
- Seattle, WA, US
- LinkedIn followers
- 500 followers
About Paul B.
Tl;dr: I’m a senior software engineer at Regrello 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: I’m professionally interested in back-end and systems programming, including but not limited to firmware, virtualization, and databases. Academically, I’m interested in modal metaphysics, logic & meta-logic, philosophy of technology, computability, and complexity. I have research experience in modal metaphysics, philosophy of fiction, philosophy of technology, and meta-heuristic algorithms. I’m also into formal methods, software verification (Dafny is pretty neat!), fuzzing, property based testing, and other ways of getting out of writing unit tests. 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
Experience
Senior Ai Engineer
Mar 2025 — Present · Seattle, WA, US
Education
The University of Texas at Austin
Master of Science - MS
2021 — 2026
Denison University
Bachelor's degree
2016 — 2020
Denison University
Bachelor's degree
2016 — 2020
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.