Karel Kočí
Software Developer at Elektroline a.s.
Prague, Prague, Czechia
Summary
🤩
Rockstar🎓
Top SchoolKarel Kočí is an embedded systems software developer with 11 years of experience, currently building railway-grade embedded solutions from Prague. Trained in cybernetics and robotics (MSc) at Czech Technical University, he has a strong low-level systems background and a track record at Turris and CZ.NIC working on resilient networking and device software. He has contributed to the Apache NuttX RTOS—porting drivers, optimizing memory and string handling, and adapting controllers like LCD and SD interfaces—demonstrating hands-on expertise in real-time OS internals. Now at Elektroline, he applies that RTOS and hardware-driver know-how to safety-critical transportation projects, combining practical engineering with academic control-systems rigor. A detail that sets him apart is his transition from open-source router/IoT work to embedded railway systems, showing both breadth and a penchant for dependable, low-level engineering.
11 years of coding experience
6 years of employment as a software developer
Master’s Degree, Cybernetics and Robotics, System control, Master’s Degree, Cybernetics and Robotics, System control at Faculty of Electrical Engineering, Czech Technical University in Prague
English, Czech
Github Skills (12)
c1710
embedded10
mcu10
rtos10
driver10
realtime10
c1110
lcd10
microcontroller10
spi9
memory-management8
sd-card8
Programming languages (11)
Github contributions (5)
apache/nuttx
May 2022 - Nov 2024
Apache NuttX is a mature, real-time embedded operating system (RTOS)
Role in this project:
Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:82 reviews, 14 PRs, 88 comments in 2 years 6 months
Contributions summary:Karel contributed to the Apache NuttX RTOS by modifying and enhancing low-level drivers and system-level code. Their work included porting and adapting drivers for specific hardware components, such as LCD controllers and SD card interfaces. The contributions also involved addressing bugs and optimizing existing functionalities, ensuring the operating system's compatibility and efficiency on different hardware platforms. Further changes were performed to add core functionalities, such as string manipulation and memory management.
operating-systemapachemicrocontrollerrtosoperating
Cynerd/nixpkgs
May 2022 - Mar 2025
Nix Packages collection
Contributions:97 pushes, 166 branches in 2 years 10 months
nixosnix-packages
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.