Damas Gruska
|
Výučba
- Introduction to Parallel Programming
- Programovanie paralelných a distribuovaných systémov
- Formálne metódy tvorby softvéru
- Kvantové algoritmy a automaty
- Tvorba kritických aplikácií
Výskum
Publikácie
(Presmerované z Damas Gruska)