Damas Gruska
|
Teaching
- Introduction to Parallel Programming
- Programming of Parallel and Distributed Systems
- Formal Methods of Software Development
- Quantum Algorithms and Automata
- Development of Critical Applications
Research
Publications
Responsible for pages:
- AIN_transition_2015
- Bachelor_program_in_Applied_Informatics
- CDS_Group
- Damas_Gruska
- Description_of_Bachelor_program_in_Applied_Informatics
- Development_of_Critical_Applications
- Formal_Methods_of_Software_Development
- Programming_of_Parallel_and_Distributed_Systems
- Recommendations_for_students_of_Bachelor_program_in_Applied_Informatics
- State_examinations_for_Bachelor_program_in_Applied_Informatics