Ing. Pavel Očenášek, Ph.D.

Education:

• 1994-1998: Grammar school Šumperk (CZ)
• 1998-2001: Faculty of Electrotechnical Engineering and Computer Science, Brno University of Technology (CZ)
• 2002-2003: Faculty of Information Technology, BUT (CZ)
  MSc., study programme EI-MSC-5, specialisation CSE
  Master thesis: Formal verification of security protocols (Dr.Daniel Cvrček)
• 2003-2010: Faculty of Information Technology, BUT (CZ)
  Ph.D, study programme IT-PHD-3, specialisation DIT 
  Disertation thesis: Communication and Security Network Protocols and their Verification (Prof.Miroslav Švéda)
• 2007 CISCO Certified Network Associate (CCNA) Instructor
• 2008 CISCO Certified Network Security (NS) Instructor

Seminars and Abroad Visits:

• 2003 ZISC School on Formal Security + ETH Zurich, Switzerland
• 2004 Exploring Complex Landscapes, HUT Helsinki, Finland
• 2005, 2006 Computer Security and Industrial Cryptography group, ESAT, KU Leuven, Belgium
• 2006, 2011 University of Missouri, St.Louis, MO, U.S.A.

Professional career:

• 2003-2010: Ph.D student, Faculty of Information Technology, BUT (CZ)
• since 2003: AGERIT (CZ): research, application and management of technologies in the field of computer networks
• 2005, 2006, 2011: abroad experience: Belgium, USA
• 2006-2010: Assistant Lecturer and Research Assistant, Faculty of Information Technology, BUT (CZ)
• since 2007: Certified Instructor CISCO LCNA, Faculty of Information Technology, BUT (CZ)
• since 2010: Assistant Professor, Faculty of Information Technology, BUT (CZ)

Projects participation:

• Actual projects can be found here

Former projects participation:

• GAČR 102/05/0467 "Architectures of Embedded Systems Networks"
• GAČR 102/05/0723 "A Framework for Formal Specifications and Prototyping of Information System's Network Applications"
• GAČR 102/05/H050 "Integrated approach to education of PhD students in the area of parallel and distributed systems" (PhD grant)

Awards:

• 2003 Prize for MSc thesis, FIT BUT
• 2007, 2009 Certificate of Appreciation, Informing Science Institut, Santa Rosa, CA, U.S.A.

Research interests:

• Computer networks, communication protocols
• Computer security, cryptography
• Wireless networks and their security
• Formal specification and verification techniques
• E-commerce, payment systems
• Information systems

Memberships:

• Research groups:
  • NES @ FIT (CZ) (since 2003, info...)
  • COSIC @ ESAT KU Leuven (BE) (2005, 2006, info...)
• Program Committee:
  • IEEE CISDA (2007)
  • IS+ITE joint Conference (2005, 2006, 2007)
  • FSMCT (since 2011)
  • IJCT journal (since 2011)
• Organizing Committee:
  
  • HCII since 2009 special session organizer and chair

  and others...

Other interests:

• Mountain cycling (Author)
• Hiking
• Table tennis
• Genealogy
• Digital photography
• Travelling

My favorite links:

• Cisco LCNA academy at FIT, Brno University of Technology
• Brno University Security Laboratory - swordfish
• Cisco Systems, Inc. - Academy Connection