I am

a Computer Science student.

a tech enthusiast, Apple user and fan.

Experience

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

2018

AVC Siliconhill
Audio & Video technician, Admin

Spring 2017 - present

Fidler company
Software Developer, Intern

Summer 2016

Education

Master in Computer Science
Charles University in Prague
Faculty of Mathematics and Physics

October 2019 - Now

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

Abstract  Abstract CZ  Poster  Full text 

October 2016 - June 2019

Technical High School
Electronics and Microprocessor technology

September 2012 - June 2016

Dev skills

C

C#

Linux

GIT

C++


And experience with:

PHP, Intel VT-x, HTML5 & CSS, Haskell, Assembler, Ansible, Swift, …

The more I know, the lower value I put in these bars. I guess that this is the Dunning-Kruger effect in practice. Although their informational value is hardly any, they are still present, just because I like them.

Projects

shipshare.cz
Website founder 

The website that connects people from the neighbourhood and lets them reduce the environmental impact of their e-shop orders. Oh, and did I mention that it saves the money too?

neattech.cz
We only sell tech that we'd buy (Under the development) 

The first mechanical keyboard e-shop in Czech republic. The development is paused right now due to the time issues and pandemic.

Hardware Virtualization (mostly on the Intel CPUs)
A lecture at the Advanced Operating Systems course, MFF UK (2021, CZ) 

Our talk about the nitty-gritty details of the Hardware Virtualization that we learned during the HyPike university project.

The tale of writing custom kernel
A talk at the LinuxDays.cz conference (2020, CZ) 

My talk about GNU tools and standards used while developing own kernel for educational purposes.

DiSL
Domain Specific Instrumentation Language 

I have over 150 commits in the upstream repository of DiSL software suite. Most of the commits are related to my bachelor thesis.

dsm-snmp-collectd
Collectd configuration for snmp plugin to work with Synology DSM 

This repository is even mentioned on the official collectd wiki!

Languages

English 🇬🇧

CEFR B2

German 🇩🇪

CEFR B2

Other

Driver's license

A2 🏍, B 🚗

Vyhl. 50/1978 Sb.

⚡️§5