Brett Letner
Technical Lead at fortlang.org
Gretna, Nebraska, United States
Summary
👤
Senior🎓
Top SchoolBrett Letner is a technical lead and systems-minded software engineer with over 20 years of professional programming experience and 14 years of focused industry work. He specializes in functional and embedded systems, having led development of domain-specific languages, compilers, and DO-178B certified avionics software at Garmin and built the open-source Fort language and compiler to eliminate common runtime failures. Brett has deep Haskell and C expertise, with a track record of shipping secure, high-confidence systems—from secure web servers and ASN.1 compilers to embedded medical and avionics products. He is comfortable across languages and paradigms, rapidly adopting new tools to solve compiler and language-design challenges. Notably, he architected the GUI/EDSL used in the Garmin GI 275 product and continues to advance programming-language tooling via fortlang.org. Based in Gretna, Nebraska, he blends research-grade rigor with production engineering and open-source stewardship.
14 years of coding experience
23 years of employment as a software developer
Internship, Computer Science, Internship, Computer Science at Missouri University of Science and TechnologyM.S., Computer Science, M.S., Computer Science at Kansas State UniversityB.S., Computer Science, Physics, B.S., Computer Science, Physics at Baker University
Github Skills (14)
eel7
ghci6
ghc5
llvm-ir5
parser4
code-generation3
lenses3
ide3
textual3
parser-combinators3
llvm2
printer2
compiler1
embedded1
Programming languages (2)
Github contributions (5)
stevezhee/shootout
Apr 2015 - May 2016
Contributions:81 pushes, 1 branch in 1 year
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.