Michal Sojka a.k.a. Wentasah (PGP Key)
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 |
| Jabber: | wentasah@njs.netlab.cz |
| VoIP: | sip:sojkam1@fel.cvut.cz, 950073001 |
| CV: | cv-sojka.pdf |
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.Teaching Activities
Current
- My timetable
- Theses topics
- ESW – Efficient software
- PSR – Real-Time Systems Programming, VxWorks OS
- OSY – Operating Systems
Past
- Supervised students
- POR/POS – Computers for Control (Počítače pro řízení)
- DRS – Distributed Control Systems (Distribuované řídicí systémy)
- OSP – Open Source Programming
- OSD – Operating Systems and Databases
Miscellaneous
This web is powered by ikiwiki.