Education
- 2000 - 2007, Master's degree from Computer Science at Faculty of Mathematics and Physics, Charles
University in Prague, Czech Republic
Work Experience
- 2017 - present day, Senior Software Engineer at Kernkonzept
- development and maintenance of components of the L4Re microkernel-based multiserver operating system, such as:
- developing file-system components from various third-party file system code
- developing a component for bridging pairs of virtio-consoles, serial ports and L4Re-specific virtual consoles
- implementing support for multiboot2 in L4Re
- making the NetBSD wm NIC driver work as a rump kernel on L4Re
- porting a NAND flash driver from u-boot to L4Re
- 2011 - 2017, Researcher at AVAST Software
- redesign and implementation of portions of the in-house JIT compiler of x86 binary code in C++
- R&D project on the in-house binary translator and dynamic execution analyzer of Windows applications
- reverse engineering the unikernel architecture of MS SQL Server for Linux
- attending security related conferences around the globe, e.g. Black Hat, RECON and VB
- delivering technical talks at security conferences (Security Session 2014, VB2014)
- 2010 - 2011, Software Developer at Oracle
- position gained as a result of acquisition of Sun Microsystems by Oracle
- trainer and lecturer of the Crash Dump Analysis course
- 2010 - five-day internal course at Oracle (x86 + SPARC)
- 2011 - full university course (weekly lectures and labs) on crash dump analysis at Faculty of Mathematics and Physics, Charles University in Prague (x86 + SPARC)
- 2006 - 2010, Software Engineer at Sun Microsystems
- identifying, analyzing, rootcausing and fixing defects in Solaris 8, Solaris 9, Solaris 10 and Solaris Nevada kernels and system libraries and utilities
- reviewing and inspecting code for peer engineers
- attending various trainings and workweeks around the globe
- participating in international conference calls
- Lead Product Engineer role for the Fault Management Architecture in the kernel team of the Solaris sustaining organization
- trainer and lecturer of the Crash Dump Analysis course
- 2008 - four-day internal course at Sun Microsystems (x86)
- 2008 - three-day course at Faculty of Mathematics and Physics, Charles University in Prague (x86)
- 2009, 2010 - full university course (weekly lectures and labs) on crash dump analysis at Faculty of Mathematics and Physics, Charles University in Prague (x86 + SPARC)
- supervising master thesis Port VMware Player to OpenSolaris at Czech Technical University
Skills
- Fluent in English
- Operating system kernel programming and customization
- 2001 - present day - design and implementation of essential parts of the HelenOS operating system
- 2003 - 2005 - a couple of small Linux kernel fixes
- 2006 - 2011 - dozens of bug fixes and improvements in Solaris kernel and system code
- Knowledge of system architectures
- AMD64, IA-32, SPARC V9: in-depth knowledge and every day experience on both application and system architecture levels
- IA-64, MIPS: infrequently refreshed in-depth knowledge on both application and system architecture levels
- ARM, PPC: basic familiarity with the architectures
- Reviewing technical papers and theses
- supervised a master thesis at Czech Technical University
- performed a handful of unofficial reviews of HelenOS master theses at Faculty of Mathematics and Physics, Charles University in Prague
- Project/Team leadership
- 2004 - present day - managing the agenda of the HelenOS development team, mentoring junior contributors and ensuring the project's strategic goals are being met
- Speaker at technical (un)conferences
- FOSDEM 2012-2016, 2018, Brussels, Belgium
- Security Session 2014, Brno, Czech Republic
- VB2014, Seattle, USA
- Mentoring and networking
- HelenOS organization administrator and mentor for Google SoC program in 2011, 2012, 2014 and 2017
- HelenOS organization administrator and mentor for ESA SOCIS program in 2013
- Participant of the Google SoC Mentor summit in 2012
Interests
- History, Books, Foreign languages
- Operating systems and Parallelism
- Compilers
Highlights
|
