Petr was a doctoral student in the Department of Computing at Imperial College London, where he worked in the Software Reliability Group under the supervision of Dr Cristian Cadar. Petr‘s research interests include software engineering, security and reliability, and his PhD work explored novel techniques for improving the reliability of software updates in the context of modern parallel hardware platforms.

Petr has an MSc and a BSc in Computer Science from Charles University in Prague, where he specialised in software engineering and dependable systems. During his studies, Petr worked as a software engineer in a small Prague-based software company, where he designed several custom information systems for clients in the oil industry. Recently, he did two internships at Google working on Chrome and Native Client.

Petr is one of the founders and the first chair of the ACM Student Chapter at Imperial College. He is also one of the founding members of the Imperial College Computing Student Workshop, which attracts PhD students from across Europe. Petr has also served as an external reviewer on a number of conferences and journals in software engineering, systems and security.

Petr is a recipient of the Google European Fellowship in Software Engineering.

Group Publications

  • Varan the Unbelievable: An Efficient N-version Execution Framework

    Petr Hosek, Cristian Cadar

    20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'15)

  • Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software

    Paul Dan Marinescu, Petr Hosek, Cristian Cadar

    International Symposium on Software Testing and Analysis (ISSTA 2014)

  • Safe Software Updates via Multi-version Execution

    Petr Hosek, Cristian Cadar

    International Conference on Software Engineering (ICSE 2013)

  • Multi-Version Software Updates

    Cristian Cadar, Petr Hosek

    Workshop on Hot Topics in Software Upgrades (HotSWUp 2012)

  • SafeWeb: A Middleware for Securing Ruby-based Web Applications

    Petr Hosek, Matteo Migliavacca, Ioannis Papagiannis, David Eyers, David Evans, Brian Shand, Jean Bacon, Peter Pietzuch

    ACM/IFIP/USENIX 12th International Middleware Conference (Middleware 2011)

  • Safe Software Updates via Multi-version Execution

    Petr Hosek, Cristian Cadar

    Imperial College London

Other Publications

  • Comparison of component frameworks for real-time embedded systems

    Tomas Pop, Petr Hnetynka, Petr Hosek, Michal Malohlava, Tomas Bures

    Knowledge and Information Systems (KAIS)

  • Introducing Support for Embedded and Real-time Devices into Existing Hierarchical Component System: Lessons Learned

    Tomas Pop, Jaroslav Keznikl, Petr Hosek, Michal Malohlava, Tomas Bures, Petr Hnetynka

    9th ACIS International Conference on Software Engineering Research, Management and Applications (SERA2011)

  • Supporting real-time features in a hierarchical component system

    Petr Hosek, Tomas Pop, Tomas Bures, Petr Hnetynka, Michal Malohlava

    Department of Distributed and Dependable Systems, Charles University in Prague

  • Comparison of Component Frameworks for Real-time Embedded Systems

    Petr Hosek, Tomas Pop, Tomas Bures, Petr Hnetynka, Michal Malohlava

    Component Based Software Engineering (CBSE 2010)