Timo Stripf

Managing Director Technology at emmtrix Technologies GmbH

Karlsruhe, Baden-Württemberg, Germany
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
Timo Stripf is a technology leader and Managing Director Technology at emmtrix Technologies with six years of industry experience and a strong academic background from KIT. He focuses on embedded multicore systems, code generation, and tooling that bridges MATLAB/Scilab workflows with production embedded software. Timo brings hands-on expertise in compilers—particularly source-to-source and clang-based C++ to C transformations—and applies formal verification sensibilities from his research career to practical product development. He has transitioned research insights from his post-doctoral and research assistant roles into commercial tooling that reduces integration risk and accelerates embedded development. Based in Karlsruhe, he combines deep systems knowledge with an operator’s mindset for shipping reliable, integrable solutions for constrained hardware environments.
code6 years of coding experience
languagesEnglish, French, German
github-logo-circle

Github Skills (34)

reduction10
llvm10
gcc10
parallel-python10
toolchain10
compiler10
clang10
parallel9
onnxruntime9
code-generation9
developer-tools9
embedded8
backend8
safety-critical8
c-compiler8

Programming languages (7)

C++RustCLLVMPHPHTMLPython

Github contributions (5)

github-logo-circle
emmtrix/cvise

Sep 2022 - Jun 2023

Super-parallel Python port of the C-Reduce
Contributions:179 pushes, 39 branches in 9 months
parallel-python
emmtrix/emx-onnx-cgen

Jan 2026 - Jul 2026

Deterministic ONNX-to-C compiler for embedded and safety-critical systems, generating static, auditable C code with no dynamic memory or runtime dependencies.
Contributions:6 releases, 399 PRs, 625 pushes in 5 months
c-compileronnxsafety-criticalaiai-compiler
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.
Request Free Trial