Prof. Ing. Miroslav Švéda, CSc.

Lecture courses:

• PDS-2011/S, Data Communications, Computer Networks and Protocols, IT-MSC-2, IT-MSC-2E
• SVSe-2011/S, Embedded System Specification, IT-MSC-2E, IT-MGR-1H, IT-MSC-2, IT-BC-1H
• NVD-2011/S, Embedded Systems Design, CSE-PHD-4
• SSD-2011/S, Formal Specifications of Computer-Based Systems, IT-PHD-3, CSE-PHD-4

Consulting hours:

Thursday, 10.00 - 11.30

Graduated Ph.D. Students:

• De Silva Gayan, dissertation in 2012:
  
  Network-wide Security Analysis
• Jankovský Michal, Ing., dissertation in 1999:
  
  Design of some real-time programmable systems
• Matoušek Petr, Ing., dissertation in 2005:
  
  Symbolic Data Structures for Parametric Verification
• Očenášek Pavel, Ing., dissertation in 2010:
  
  Automated Design of Authentication and Key Distribution Protocols
• Ryšavý Ondřej, Ing., dissertation in 2005:
  
  Specifying and reasoning in the calculus of objects
• Ščuglík František, Ing., dissertation in 2008:
  
  Tool for automatic translation from activity diagrams into CSP

Current Ph.D. Students:

• Čejka Rudolf, Ing., research theme:
  
  Detection and Analysis of Network Security Incidents
• Fidler Tomáš, Ing., research theme:
  
  Model-based Network Design and Analysis Methods
• Grégr Matěj, Ing., research theme:
  
  Securing IPv6 networks
• Halfar Patrik, Ing., research theme:
  
  TCP/IP network design focusing on network security
• Minarovský Peter, Ing., research theme:
  
  TCP/IP network design focusing on network security
• Pápai Michal, Ing., research theme:
  
  DNS Security
• Podermański Tomáš, Ing., research theme:
  
  Frameworks for design of secure network applications
• Polčák Libor, Ing., research theme:
  
  Architecture and security of lawful interception systems
• Ráb Jaroslav, Ing., research theme:
  
  Analysis and Validation of Domain Models of Embedded Systems
• Skokanová Jana, Mgr., research theme:
  
  Multicast in IPv6
• Trchalík Roman, Mgr., research theme:
  
  Network Architecture and Formal Specifications of Embedded Systems
• Veselý Vladimír, Ing., research theme:
  
  Multicast in IPv6