Lucas Kramer
Software And RTL Engineer at University of Minnesota-Twin Cities
Minneapolis, Minnesota, United States
Summary
🤩
Rockstar🎓
Top SchoolLucas Kramer is a Software and RTL Engineer with 11 years of experience building compilers, language tools, and silicon for high-performance AI workloads. Based in Minneapolis, he blends deep research from a Ph.D. in Computer Science with practical engineering—leading the Silver language and ableC compiler frontend while contributing backend improvements to the well-known Bluespec Compiler (BSC). He has a strong functional-programming background (Haskell) and a track record of shipping tooling such as LSP servers, VS Code plugins, CI integrations, and Verilog dependency managers during internships at Google and X. Lucas pivots seamlessly between hardware and software, from designing telemetry and HIL simulators for rocketry to developing RTL for faster LLM training and inference. Notably, he combines language-design insights (algebraic data types, term rewriting, Prolog-style relations) with hands-on chip-design work, making him effective at turning high-level abstractions into silicon-ready implementations.
11 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at University of Minnesota
Stackoverflow
127reputation
6kreached
2answers
5questions
Github Skills (12)
functional-programming10
compiler-design10
haskell10
refactor9
refactoring9
function-pointers6
docopt6
bash6
ant6
python6
deepcopy6
console6
Programming languages (12)
Github contributions (5)
B-Lang-org/bsc
Jun 2020 - May 2021
Bluespec Compiler (BSC)
Role in this project:
Back-end Developer
Back-end DeveloperContributions:90 reviews, 130 commits, 19 PRs in 11 months
Contributions summary:Lucas primarily focused on enhancing the Bluespec Compiler (BSC) by implementing features and fixing bugs. Their contributions include allowing record updates of interfaces, addressing trailing whitespace, and correcting a .ghci file. They also improved code clarity by renaming variables and further resolved recursive module instantiation issues. The user demonstrated proficiency in functional programming with Haskell and in working with the core components of the compiler.
bsccompilerelectrical-engineeringhardwarebluespec
melt-umn/ableC-unification
Nov 2018 - Mar 2025
An ableC extension introducing unification on algebraic data types
Contributions:1 review, 1 PR, 103 pushes in 6 years 5 months
ablecdata-typesunificationalgebraicalgebraic-data-types
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.