Experience

SYSGO GmBH
Software Developer

The developement of the x86-64 hypervisor engine for the PikeOS realtime platform.

2020

ELDIS Pardubice
Software Developer, Intern

2018

Fiedler Company
Software Developer, Intern

Summer 2016

AVC SiliconHill
Audio & Video technician

Since spring 2017

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# & .NET

C

Java

C++

PHP

JavaScript

SHELL

GIT

And...

HTML & CSS, Prolog, Haskell, SQL, Assembler, Parallel programming, Ansible, Linux Server administration

Opensource

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.

MTN
Movie Thumbnailer 

I contribute to the Movie Thumbnailer project. This repository is forked from its original sourceforge parent and is still maintained. I care mainly about the macOS compatibility and I publish the current versions to brew.sh package manager.

Languages

English 🇬🇧

CEFR B2

German 🇩🇪

CEFR B2

Other

Driver's licence

A2, B