Michal Sojka a.k.a. Wentasah (PGP Key)
Industrial Informatics Research Center,
DCE,
FEE,
Czech Technical University in Prague
| E-mail: | sojkam1@fel.cvut.cz |
| Room: | KN:G203 |
| Tel: | 22435 5712 |
| Jabber: | wentasah@njs.netlab.cz |
| ICQ: | 52970183 |
| Web: | Official school page |
| 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
- OSD – Operating Systems and Databases
- OSP – Open Source Programming
Past
- Supervised students
- POR/POS – Computers for Control (Počítače pro řízení)
- DRS – Distributed Control Systems (Distribuované řídicí systémy)
Miscellaneous
This web is powered by ikiwiki.