====== Ing. Michal Lenc ======

===== Contact =====

Email: [[lencmich@fel.cvut.cz]]

GitHub: [[https://github.com/michallenc]]

GitLab repository for labs: [[https://gitlab.fel.cvut.cz/lencmich/apo2025]]

Company: [[https://www.elektroline.cz/]]

===== Professional experience =====

Embedded software developer at Elektroline a.s company. He works on projects in the field of real time systems, especially participates in the development of open-source real time operating system NuttX and rapid control prototyping tool pysimCoder.

Bachelor theses [[https://dspace.cvut.cz/bitstream/handle/10467/100938/F3-BP-2022-Lenc-Michal-Open_Rapid_Control_Prototyping_and_Real_Time_Systems.pdf|Open Rapid Control Prototyping and Real-Time Systems]] ([[https://github.com/robertobucher/pysimCoder|source code]]).

Mater's theses [[https://dspace.cvut.cz/bitstream/handle/10467/114749/F3-DP-2024-Lenc-Michal-CAN-FD-Support-for-Space-Grade-Real-Time-RTEMS-Executive.pdf|CAN FD Support for Space Grade
Real-Time RTEMS Executive]] ([[https://gitlab.fel.cvut.cz/otrees/rtems/rtems-canfd|source code]]).

===== Consultations =====

Negotiate by e-mail.