Michal Lenc
Embedded Software Developer at Elektroline a.s.
Prague, Prague, Czechia
Summary
🤩
Rockstar🎓
Top SchoolMichal Lenc is an embedded software developer with five years of hands-on experience building RTOS and Linux-based applications for industrial devices, currently developing embedded systems at Elektroline a.s. He specializes in NuttX RTOS kernel and application development, with notable open-source contributions adding low-level drivers (FlexCAN, displays, encoders) and board support for i.MX RT1060 and Teensy-4.x platforms. A master's-trained cybernetics and robotics engineer from CTU, he bridges control theory and firmware, having worked on pysimCoder integration for real-time control during a Google Summer of Code project with the Apache Software Foundation. Michal is comfortable across board bring-up, peripheral integration, and documentation, and his work shows a rare depth in both kernel-level driver implementation and practical system integration. Colleagues rely on him for turning hardware constraints into robust, testable embedded software.
5 years of coding experience
4 years of employment as a software developer
Electrical Engineering with focus on Control Theory, Electrical Engineering with focus on Control Theory at Secondary Technical School of Electrical Engineering V Úžlabině, PragueMaster's degree, Cybernetics and Robotics, Master's degree, Cybernetics and Robotics at Faculty of Electrical Engineering, Czech Technical University in Prague
Github Skills (16)
rt10
embedded10
rtos10
nuttx10
driver10
device-driver10
c-programming10
sys10
pwm10
encoder9
1-wire9
spi9
encode9
i2c9
ethernet9
Programming languages (4)
Github contributions (5)
apache/nuttx
Aug 2020 - Apr 2025
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:152 reviews, 124 PRs, 280 comments in 4 years 8 months
Contributions summary:Michal primarily contributed to the implementation of device drivers and board-level support within the Apache NuttX real-time embedded operating system (RTOS) repository. Their work focused on adding support for peripherals on the i.MX RT1060 evaluation kit, specifically including a FlexCAN driver, and support for display and encoder, and updating the existing Ethernet driver. Furthermore, they added contributions to other boards in the project, including for the Teensy-4.x, Nucleo-f446re, and SAMV7 boards.
operating-systemapachemicrocontrollerrtosoperating
PX4/NuttX
Oct 2020 - Sep 2022
Standard NuttX (http://nuttx.org) with current PX4 WIP patches
Role in this project:Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:71 commits in 1 year 11 months
Contributions summary:Michal contributed to the NuttX RTOS project, focusing on the i.MX RT1060 processor. Their work primarily involved adding and modifying low-level drivers for various peripherals on the Teensy-4.x development board, including FlexCAN, LCD display, and encoder support. Additionally, they addressed style issues and contributed documentation, demonstrating their involvement in hardware integration and board-level software development.
wiplinuxrtosmicrocontrollerpatches
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.