Felix Brüning
Student at University of Bremen
Bremen, Free Hanseatic City of Bremen, Germany
Summary
👤
SeniorFelix Brüning is a software and system verification engineer and PhD candidate in computer science at the University of Bremen with eight years of experience building and verifying safety-critical, real-time systems. He combines hands-on embedded and OS-level development (C/C++, MISRA-C, RISC-V, ARINC-653) with formal and practical verification methods to ensure dependable behavior in autonomous systems. At Verified Systems International and in university research he has bridged industry-grade engineering and academic rigor, supervising theses and teaching real-time OS development. His work emphasizes provable memory protection and ARINC-653 compatibility for avionics-grade RTOSes—an often-overlooked but crucial layer for certifiable autonomy.
8 years of coding experienceGithub contributions (5)
felixbruening/MensaPlan-cli
Dec 2019 - Oct 2022
Contributions:11 commits, 10 pushes, 1 branch in 2 years 10 months
felixbruening/c_algorithms
Nov 2017 - Jan 2019
Contributions:17 pushes, 1 branch in 1 year 1 month
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.