Sabree Blackmon
Formal Methods. Security. Privacy.
- Role
- Founder at Tano Labs
- Location
- Morgantown, WV, US
- LinkedIn followers
- 500 followers
About Sabree Blackmon
No connections for sales purposes, please** I enable engineers to build correct, safe, secure systems through automated reasoning, agile domain modeling and specification, and safe programming languages. I enjoy Rust, Haskell, F*, logic programming, category theory, fuzzing, explainable AI, and advancing security and privacy with constructive mathematics.
Experience
Founder
Apr 2024 — Present · Morgantown, WV, US
Founder of a specialty coffee lab and technology incubator. We combine sensory science, applied maths like topological data analysis & category theory, robotics, and agentic AI to develop novel solutions to complex coffee business problems.Technology stack includes Julia, Rust, LangChain, and Command R+.
Education
University of Colorado Boulder
Master of Science - MS, Computer Science
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.