I am

a Computer Science student.

a tech enthusiast, Apple user and fan.

Experience

Sysgo GmbH.
Software 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

SHELL

C#

Java

GIT


And experience with:

C++, PHP, HTML5 & CSS, Prolog, 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.

Opensource

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!

disk-station-swift
Swift client library for Synology Disk Station APIs 

Languages

English 🇬🇧

CEFR B2

German 🇩🇪

CEFR B2

Other

Driver's license

A2 🏍, B 🚗

Vyhl. 50/1978 Sb.

⚡️§5