Michal Sojka a.k.a. Wentasah
Industrial Informatics Research Center,
Czech Institute of Informatics, Robotics and Cybernetics,
Czech Technical University in Prague
| E-mail: | michal.sojka@cvut.cz |
| Room: | ČVUT-CIIRC, A-517a |
| CV: | cv-sojka.pdf |
PGP Key, Twitter, GitHub, Mastodon
Research
My research interests include design and verification of real-time systems, real-time operating systems, microkernel-based operating systems, real-time middleware platforms, model-driven engineering, safety and security in embedded systems, robotics. I often work in projects related to automotive and autonomous driving.
Teaching Activities
Current
- Semestral project topics
- My timetable
- OSY – Operating Systems
- ESW – Efficient software
- PSR – Real-Time Systems Programming, VxWorks RTOS
Past
- Supervised students
- POR/POS – Computers for Control
- DRS – Distributed Control Systems
- OSP – Open Source Programming
- OSD – Operating Systems and Databases
Participation in conference committees
- ECRTS 2027, 2026
- SOSP 2026
- DSD 2026
- ISORC 2026, 2025, 2024, 2023, 2022, 2021, 2020
- SIES 2024
- ANT 2024
- RTCSA 2026, 2025, 2024, 2023, 2022, 2012
- VEHICULAR 2024, 2023
- FedCSIS/IWCPS 2023, 2022, 2020, 2019, 2018
- OSPERT 2022, 2019, 2018
Graduated Ph.D. students
- Jiří Vlasak: Trajectory Planning for Communicating Self-driving Vehicles (video)