| Riadok 3: | Riadok 3: | ||
| caption = Damas Gruska | | caption = Damas Gruska | ||
| image = Gruska.jpg | | image = Gruska.jpg | ||
| − | | section = | + | | section = Section of Declarative Programming |
| − | | position = | + | | position = head of section |
| − | | phone = | + | | phone = +421 2 602 95 846 |
| room = i20 | | room = i20 | ||
| email = gruska[[Image:zavinac.gif|@]]fmph.uniba.sk | | email = gruska[[Image:zavinac.gif|@]]fmph.uniba.sk | ||
| Riadok 11: | Riadok 11: | ||
}} | }} | ||
=== Teaching === | === 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 === | === Research === | ||
Verzia zo dňa a času 12:03, 22. august 2008
Damas Gruska
|
|
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_3rd_year_students_of_Bachelor_program_in_Applied_Informatics
- Recommendations_for_students_of_Bachelor_program_in_Applied_Informatics
- State_examinations_for_Bachelor_program_in_Applied_Informatics
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
- none
Publications
- none