Perry Metzger
Founder at Metzger, Dowdeswell & Co. LLC
Greater Boston United States
Summary
🤩
Rockstar🎓
Top SchoolPerry Metzger is a seasoned technology manager, consultant, and academic researcher with over a decade of experience focused on computer systems, networking, and security, complemented by a deep interest in cryptography and formal methods. He blends entrepreneurial leadership—founder of AI and financial startups and managing partner at his own firm—with hands-on technical work as a long-time NetBSD contributor and Senior AI Scientist building reliable enterprise AI systems. Perry’s current work spans formal verification of software using custom-trained models and public-policy leadership on AI as Chairman of a DC-based organization, showing a rare mix of technical rigor and strategic influence. He holds advanced academic credentials from the University of Pennsylvania and Columbia, and his breadth ranges from high-performance systems to speculative pursuits in molecular manufacturing. Colleagues describe him wryly as a “carbon-based life form,” reflecting both humility and a well-honed sense of humor behind a profile of deep technical breadth.
13 years of coding experience
16 years of employment as a software developer
BS, Computer Science, BS, Computer Science at Columbia UniversityPhD, Computer Science, PhD, Computer Science at University of Pennsylvania
Stackoverflow
4,409reputation
485kreached
125answers
3questions
shell
top-5%
bash
top-5%
Github Skills (200)
kvm10
lexer10
calc10
chat10
reason10
ppx10
opam10
qemu10
utm10
interval-arithmetic10
bigint10
reasonml10
commercial10
prebuild10
package-manager10
Programming languages (21)
Github contributions (5)
pmetzger/ocaml
Apr 2018 - Feb 2025
The core OCaml system: compilers, runtime system, base libraries
Contributions:28 pushes, 11 branches in 6 years 10 months
compilersruntime-systemapllwtdub
ocaml-community/meta
Aug 2018 - Oct 2018
Administration and documentation for the ocaml-community organization.
Contributions:18 commits, 7 PRs, 23 pushes in 2 months
administrationocamldune
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.