Mgr. Ing.

Pavel Očenášek

Ph.D.

Assistant professor


ocenaspa@fit.vut.cz
pavel.ocenasek@vut.cz
pavel@ocenasek.com
C305 Office
15431/BUT personal ID

Curriculum

Education and academic qualification

  • 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 (Assoc. Prof. Daniel Cvrček, Ph.D.)
  • 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, Ph.D.)
  • 2007 CISCO Certified Network Associate (CCNA) Instructor
  • 2008 CISCO Certified Network Security (NS) Instructor
  • 2015: M.A., Faculty of Law, Masaryk university, Brno (CZ) (Assoc. Prof. David Kosař, Ph.D., LL.M., J.S.D.)

Scientific activities

  • Law and security
  • Forensic systems and technology
  • GDPR
  • Computer networks, communication protocols
  • E-commerce, payment systems
  • Information systems

Academic internships abroad

  • 2003 ZISC School on Formal Security + ETH Zurich, Switzerland
  • 2004 Exploring Complex Landscapes, HUT Helsinki, Finland
  • 2005, 2006, 2011 Computer Security and Industrial Cryptography group, ESAT, KU Leuven, Belgium
  • 2008 University of Kathmandu, Nepal
  • 2009 Facultad de Ingenieria, Universidad Nacional Autónoma de México, Mexico City, MX
  • 2006, 2011, 2013 University of Missouri, St.Louis, MO, U.S.A.
  • 2012 Biztek, Institute of Business and Technology, Karachi, Pakistan
  • 2016 University of Toronto, Kanada
Back to top