a Computer Science student graduate.
a tech enthusiast, Apple user and fan.
a Git missionary.
Sysgo GmbH.
OS Virtualization Engineer
The developement of the x86-64 hypervisor engine for the PikeOS realtime platform.
2020 - present
Charles University in Prague
Teaching the Linux Introduction course
Teaching the introductory linux course insipred by The missing semester of your CS education, at the Faculty of Mathematics and Physics.
2020
ELDIS Pardubice
Software Developer, Intern
As part of my semestral work at AdvC++ I contributed of the processing pipeline for ASTERIX data stream. Some serious template magic was used there, because of the high performance requirements.
2018
AVC SiliconHill
Audio & Video technician, Admin
This awesome crew gave me an opportunity to volunteer on a bunch of projects. I was a stream sound and video technican at conferences like TEDx Prague, LinuxDays.cz, installfest.cz or PyCon Prague, and at public events, for example one of the largest demonstration in Prague (with about 150k people). In the meantime I provided devOps consultations for their self-hosted infrastructure.
2017 - ?
Fidler company
Software Developer, Intern
I wrote an employee attendance system with backend in Symfony framework and frontend in AngularJS (v1 back then). It had employee and manager dashboards, special interface for a Punch-in/out tablet, vacation request management, an overview of present colleagues, overtime reporting, full responsivness and eyecatching charts 😜.
Summer 2016
Reahabilitation clinic Prazska
Web app development, Contract
I wrote an internal reservation system for doctors. Backend was based on the Nette framework and frontend in pure JS and JQuery. The system has been used daily by ~8 doctors for a number of years.
2015
Master in Computer Science
Charles University in Prague
Faculty of Mathematics and Physics
Degree in system programming
Master thesis
Syscall emulation support in HelenOS µ-kernel
Bachelor in Computer Science
Charles University in Prague
Faculty of Mathematics and Physics
Degree in set theory
Bachelor thesis
Integrated Analysis Server for Dynamic Program Analysis
Technical High School
Electronics and Microprocessor technology
C
Linux
GIT
And experience with:
PHP, C#, C++, Intel VT-x, HTML5 & CSS, Haskell, Assembler, Ansible, Swift, …
The more I learn, the lower the coloured proportion of these bars. I guess that this is the Dunning-Kruger effect in practice. So although the informational value of the bars is debatable, they are here because I like them.
HyPike
Hardware virtualization support for PikeOS platform (2020)
As part of our Master studies, me and my friend wrote an x86 hypervisor for the SYSGO GmbH. company. It was supposed to be part of the PikeOS platform, but because we weren’t employees, we didn’t have access to the PikeOS sources. Therefore we also wrote a petite hosting OS, making it a whole Level 1 hypervisor. In the end, we were able to virtualize PikeOS. When the project ended, I continued to work on improving the hypervisor as a SYSGO employee.
Personal homelab
Should you see the rack case in my closet!
I run a few servers at places where I live or I have lived. They serve as my private mail hosting, git hosting, VPN endpoints, Docker Swarm, storage server, DNS and DHCP for home network and much more, depending on what comes to my mind. Mostly Debian, but it was also FreeBSD. I also host a bunch of webs for my friends and family. My homelab is certainly my most favourite free-time project.
English 🇬🇧
CEFR B2
German 🇩🇪
CEFR B2
Driver's license
A2 🏍, B 🚗
Vyhl. 50/1978 Sb.
⚡️§5
