Projekt je určen pro ty studenty, kteří mají zájem naučit se zajímavé a
perspektivní metody a techniky, nebojí se matematiky, počítačů, železniční
dopravy a trochy práce a budou chtít snadno nalézt své uplatnění v zabezpečení
železniční nebo
letecké dopravy,
jaderné energetiky,
výzkumu vesmíru,
telekomunikací
a mnohé další.
Co se můžete naučit?
Student se v projektu dle svého vlastního zájmu může seznámit třeba
s modelováním
pomocí formálních metod (RAISE, Petri Net, StateCharts, StateMate, SPIN) nebo
s výpočtem
bezpečnosti a spolehlivosti systémů pomocí pravděpodobnostních modelů (Markovovské modely).
Jedná se o velmi širokou oblast
=> máte možnost sami si nalézt, co vás bude nejvíce těšit a zajímat a tomu se
v projektu následně věnovat.
Osobni setkání
Považuji za velmi důležité osobní setkání.
V případě Vašeho zájmu mě bez váhání kontaktujte na e-mail karna@fd.cvut.cz
nebo přes jabber/ICQ 308 345 135.