d |
|||
| (2 intermediate revisions by 2 users not shown) | |||
| Riadok 9: | Riadok 9: | ||
| email = gruska[[Image:zavinac.gif|@]]fmph.uniba.sk | | email = gruska[[Image:zavinac.gif|@]]fmph.uniba.sk | ||
| web = [http://ii.fmph.uniba.sk/~gruska/ homepage] | | web = [http://ii.fmph.uniba.sk/~gruska/ homepage] | ||
| − | + | | info = | |
| + | |||
=== Teaching === | === Teaching === | ||
| − | * [ | + | * [http://ii.fmph.uniba.sk/~gruska/teaching.html Introduction to Parallel Programming] |
* [[Programming of Parallel and Distributed Systems]] | * [[Programming of Parallel and Distributed Systems]] | ||
* [[Formal Methods of Software Development]] | * [[Formal Methods of Software Development]] | ||
| Riadok 18: | Riadok 19: | ||
=== Research === | === Research === | ||
| − | * | + | * [http://ii.fmph.uniba.sk/~gruska/ see homepage] |
=== Publications === | === Publications === | ||
| − | * | + | * [http://ii.fmph.uniba.sk/~gruska/ see homepage] |
| − | + | }} | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
Aktuálna revízia z 16:48, 6. jún 2012
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_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