Lisanna Dettwyler
Software Engineer at Intel Corporation
Bethesda, Maryland, United States
Summary
🤩
Rockstar🎓
Top SchoolLisanna Dettwyler is a software engineer with eight years of experience building and integrating low-level systems and DevOps tooling for high-performance computing and GPU compute at Intel. She has deep hands-on experience in C, Python, Bash, containerization, CI/CD, and pre-silicon validation with tools like ZeBu and Simics, and has applied Nix/NixOS to create reproducible regression and debugging infrastructures. At Galois she supported formal verification tooling and championed DevOps practices to boost researcher productivity, demonstrating a blend of applied systems engineering and formal-methods awareness. Based in Bethesda, MD, she pairs production-grade library development with automation expertise and a knack for building fault-tolerant testbeds—evidenced by custom regression systems and cross-platform CI solutions for Linux and Windows. Her personal tagline (“yes roar > /dev/sda”) hints at a pragmatic, slightly irreverent engineering style that values directness and control.
8 years of coding experience
6 years of employment as a software developer
Bachelor of Science - BS, Computer Science, Magna Cum Laude, Bachelor of Science - BS, Computer Science, Magna Cum Laude at Oregon State University
English
Stackoverflow
133reputation
5kreached
2answers
2questions
Github Skills (93)
fhe10
scripting-language10
specification10
opencl10
datalog10
gpgpu10
intel10
scripting10
sat-solver10
oneapi10
headers10
loader10
dependent-types9
crypto9
programming-language9
Programming languages (10)
Github contributions (5)
lisanna-dettwyler/action-setup-jq
Jun 2022 - Feb 2024
Simple GitHub Action to add jq to the path
Contributions:1 release, 2 PRs, 15 pushes in 1 year 7 months
lisanna-dettwyler/level-zero
Jan 2022 - Dec 2024
oneAPI Level Zero Specification Headers and Loader
Contributions:60 pushes, 18 branches in 2 years 10 months
zeroheaderspecificationoneapilevel-zero
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.