Alex Hoffman
Senior Linux Kernel Developer at Cartken
Bernried, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolAlex Hoffman is a Senior Linux Kernel Developer with a decade of experience building high-performance, reliable embedded and OS-level systems across academia and industry. Now at Cartken after six years as a research associate (Ph.D.) at TUM, he has deep expertise in Linux internals, POSIX, libc, multi-core programming, real-time systems and HW/SW co-design, and has shipped kernel and Android platform optimizations including custom CPU governors and driver tweaks. He designed tools like BrezeFlow and Syslogger for kernel-to-userspace tracing and developed TensorDSE/MuDSE for TinyML design-space exploration, blending systems engineering with ML-aware scheduling. Alex also brings practical productization experience from Siemens and systems-level work on distributed storage and biomedical devices, and he maintains an active open-source mindset focused on performance and reliability. Based in Bernried, Bavaria, he pairs rigorous research methods with hands-on kernel hacking to squeeze deterministic behavior out of constrained heterogeneous platforms.
10 years of coding experience
7 years of employment as a software developer
Master of Engineering, Electrical and Electronics Engineering, Honours, Master of Engineering, Electrical and Electronics Engineering, Honours at The University of QueenslandMaster's degree, Electrical Engineering and Information Technology, Honours, Master's degree, Electrical Engineering and Information Technology, Honours at Technical University Munich
Stackoverflow
355reputation
23kreached
9answers
22questions
Github Skills (107)
instagram10
python10
sdl10
code-completion10
deep-learning10
tensorflow-model10
async10
graphic10
ml10
neural-network10
freertos10
tensorflow10
posix10
nas10
stm10
Programming languages (8)
Github contributions (5)
alxhoff/TensorNAS-Demos
Jan 2022 - Apr 2024
Contributions:1 PR, 73 pushes in 2 years 3 months
alxhoff/TensorDSE
Sep 2020 - Dec 2023
Contributions:7 reviews, 17 PRs, 684 pushes in 3 years 3 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.