Brent Carmer
Head Of Cryptography Stack at [[alloc] init]
Portland, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolBrent Carmer is a cryptography-focused software leader with 13 years of experience building compilers, advanced crypto protocols, and production tooling for specialized hardware. He has led teams delivering customer applications, debuggers, and a custom programming language for a programmable crypto accelerator, and now heads the cryptography stack working on bitcoin PIPE protocols. His work spans research-to-product transitions—optimizing arithmetic circuits, implementing garbled circuits and oblivious transfer, and integrating MLIR/Halide autoscheduling for neural-net compilation at Intel. Brent combines systems-level expertise (bootloaders, RTOS, formal-update chains) with functional-programming chops and practical delivery: he once designed a formally verifiable bootloader and earned Top Secret clearance for related work. An active polyglot engineer (Rust, C, Haskell) and open-source contributor, he brings a musician’s disciplined creativity—jazz piano and double bass—to complex protocol and compiler design.
13 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Oregon State UniversityBachelor of Arts - BA Philosophy, Bachelor of Arts - BA Philosophy at Nebraska Wesleyan University
Github Skills (9)
curses10
terminal-ui10
colours10
ui-design10
colors10
haskell10
application-framework9
app-framework9
web-framework9
Programming languages (10)
Github contributions (5)
jtdaugherty/brick
Jul 2018 - Jul 2018
A declarative Unix terminal UI library written in Haskell
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 commits, 1 PR in 1 day
Contributions summary:Brent primarily focused on enhancing color handling within the `Brick` library, a declarative Unix terminal UI library. They implemented support for a 240-color system, modifying the `vtyColorName` function and adding a `parseColor` function. Their work involved updating existing code to accommodate renamed functions within the Vty library. Additionally, the user corrected formatting errors and provided comments to clarify color specifications.
haskellterminal-uiunixvtyterminal
spaceships/clt13-hs
Jan 2016 - Sep 2017
Contributions:50 commits, 35 pushes, 1 branch in 1 year 8 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.