Felix Hund
Research Associate
Aachen, North Rhine-Westphalia, Germany
Summary
🤩
Rockstar🎓
Top SchoolFelix Hund is a research associate and medical engineer with 11 years of engineering experience who transitioned from production and mechanical engineering into cardiovascular device innovation and is currently pursuing a PhD focused on oxygenator design. Based in Aachen, he combines hands-on production planning and process development experience—such as creating a novel potting process for artificial lungs—with research into applying DevOps principles to mechanical engineering. His background spans industry (Bosch, Fraunhofer) and top-tier academia (RWTH Aachen, Aalto), and he has contributed to well-known open-source tooling like the KLEE symbolic execution engine by enhancing tests and adding C++ exception and intrinsic support. Known for bridging practical manufacturing implementation with rigorous research, he brings a pragmatic systems mindset to medical device development and translational engineering.
11 years of coding experience
Industrial Engineering and Management, Industrial Engineering and Management at Aalto UniversityRWTH Aachen University
Github Skills (7)
testing10
symbolic-execution10
klee10
llvm10
test-automation10
cprogramming-language9
c-language9
Programming languages (16)
Github contributions (5)
klee/klee
Dec 2017 - May 2020
KLEE Symbolic Execution Engine
Role in this project:
Backend Developer & Test Automation Engineer
Backend Developer & Test Automation EngineerContributions:7 commits, 18 PRs, 62 comments in 2 years 5 months
Contributions summary:Felix primarily contributed to the KLEE symbolic execution engine by modifying existing test cases and implementing new ones. Their work involved updating test scripts to use `%klee` instead of `klee`, ensuring the correct execution and output of tests within the symbolic execution framework. They also added support for intrinsics like `llvm.fabs` and implemented C++ exception handling, expanding the engine's capabilities. These contributions focused on enhancing the testing infrastructure and extending the functionality of KLEE.
symbolic-executionsymbolic-execution-enginekleeexecution-engineexecution
futile/enet-rs
Oct 2018 - Mar 2022
High-level bindings for the ENet networking library (http://enet.bespin.org)
Contributions:8 reviews, 66 commits, 6 PRs in 3 years 6 months
http-librarygamedevgamedev-libraryrusthigh-level
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.