doc. RNDr. Pavel Parízek, Ph.D.
| Address: | Malostranské nám. 2/25, Praha 1 |
|---|---|
| Office: | S 309 (4.05.2), 3. patro, Malá Strana |
| Fax: | |
| Additional information: | http://www.mff.cuni.cz/fakulta/struktura/lide/3599.htm |
| Faculty: | Faculty of Mathematics and Physics |
| Department: | Department of Distributed and Dependable Systems (32-KDSS) |
| : | 951554148 |
| : | pavel.parizek@d3s.mff.cuni.cz |
| Consultation hours: | |
| Courses Schedule Opinion survey results Announced theses Supervised theses Noticeboard |
 |
  Code | Title | Semester | Hours per week, examination | Department | Faculty | Virtual mobility | Capacity | |
 |
NSWI132 | Program Analysis and Code Verification | summer | summer s.:2/2, C+Ex [HT] | 32-KDSS | MFF | no | |
|
NSWX132 | Program Analysis and Code Verification | summer | summer s.:2/2, C+Ex [HT] | 32-STUD | MFF | no | |
|
NSWI133 | Commercial Workshops | winter | winter s.:0/2, C [HT] | 32-KDSS | MFF | no | |
|
NTIN043 | Formal Foundations of Software Engineering | winter | winter s.:2/2, C+Ex [HT] | 32-KSI | MFF | no | |
|
NSWI154 | Software Development Tools | winter | winter s.:0/2, C [HT] | 32-KDSS | MFF | no | |
|
NSWI126 | Advanced Tools for Software Development and Monitoring | summer | summer s.:0/2, C [HT] | 32-KDSS | MFF | no | |
|
NSWX126 | Advanced Tools for Software Development and Monitoring | summer | summer s.:0/2, C [HT] | 32-STUD | MFF | no | |
|
NPRG045 | Individual Software Project | both | 0/1, C [HT] | 32-KSI | MFF | no |