Kayla Rodenbeck
Software Engineer at Northrop Grumman
Omaha, Nebraska, United States
Summary
👤
Senior🎓
Top SchoolKayla Rodenbeck is a software engineer with eight years of professional experience, currently building software at Northrop Grumman while completing a Master's in Computer Science at the University of Wisconsin–Milwaukee. Her background blends hands-on engineering with teaching and mentoring—she has served as a graduate teaching assistant, tutor, and trainer—bringing strong communication skills to technical projects. Kayla’s internships and early roles at Northrop Grumman and Northwestern Mutual exposed her to Agile team practices, automated document production, and user-facing documentation. Based in Omaha, she pairs domain flexibility (from atmospheric science forecasting to enterprise software) with a steady track record of shipping practical solutions and helping others ramp up quickly.
8 years of coding experience
2 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at University of Wisconsin-Milwaukee
English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (10)
logic8
theory7
sat-solver7
homotopy-type-theory6
agda6
coq6
type-theory6
dependent-types5
proof-assistant5
theorem-proving5
Programming languages (2)
Github contributions (5)
rodenbe4/sasylf
Jun 2019 - Aug 2021
Educational Proof Assistant for Type Theory
Contributions:13 pushes, 1 branch in 2 years 2 months
dependent-typeshomotopy-type-theorytype-theorytheorem-provingassistant
rodenbe4/rodenbe4.github.io
Sep 2018 - Mar 2019
Contributions:2 PRs, 12 pushes, 4 branches in 6 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.