Ambitious and proud student of computer science at Charles University.
Eager to learn new technologies and discover new techniques.
I am in my last year of a master’s degree in software systems at Charles University, Prague. My main interests are programming languages and their development, emphasising compilation and runtime optimizations via static analysis techniques. I have repeatedly demonstrated my ability to learn new technologies in multiple hackathons where I either won or placed at the top positions, both as a team member and an individual.
CIL interpreter with the performance features and support of GraalVM. The interpreter is written using the Truffle framework using compiler hinting and other optimizations. The implementation includes complete parser of compiled C# code, the interpreter specialized for CIL generated from C# code with extensive caching and compiler optimizations enabled by the Truffle framework.
This project was developed in cooperation with Oracle consultants in a group of three students over the course of nine months.
Simple text editor with syntax highlighting support for Swift and Kotlin programming languages. The editor includes support for execution of Kotlin with embedded console output.
Multiplatform application used for music recognition avaiable on Windows, Android and web browser (via WebAssembly). The implementation includes the recognition algorithm, server side and database. Yöti was developed
with emphasis on unified logical and visual representation across platforms.
This application scored 2nd place in the Launch 2021 competition in multiplatform category.
An Android application developed based on a need for meetups organised for the first year students.
The motivation is to generate random groups every few minutes in order to make everyone talk to everyone else throughout the duration of the meetup. Forming closed groups should therefore be avoided.
An ongoing University project in cooperation with Oracle. An extension of experimental interpreter called BACIL
As a team we have developed simple operating system for the MPIS architecture. My responsibilities were implementation of heap allocation, preemptive scheduler and synchronisation primitives. This was a university project.
Real-time music visualiser with multiple visualisation modes implemented in C++ using SFML library including the implementation of graphical interface from scratch.
Activity sport tracker used by the faculty of physical education during the quarantine as a method of encouragement for students to stay fit. This web application was developed in a team MDSC (Matfyz Developer Student Club).
As a university project I have created lexical and semantic analysis of simplified C language including the parsing done via Bison.
Library of graph algorithms such as Dijkstra's alg., Bellma-Ford alg, Floyd-Warshall alg., topological sort or algorithm for searching strongly connected components. Library also includes data structures for representing graphs itself.
As a part of my Master’s thesis, I developed and gradually own a complete unit of data lineage platform — C# scanner. This part staticaly analyses compiled C# code - CIL and generates data flow graph. My responsibilities include everything from problem analysis, design all the way to ensuring smooth release process. Later my area of expertise extended into static analysis of Python source code.
Contribution to many language support features for the Swift programming language. Mainly IDE intentions and quick actions.
JetBrains representative on the campus, organizing various social events and talks where I posed as an organiser as well as technical speaker across multiple European universities.
I run algorithm and programming lessons in python at Charles University, Prague.
Developing and further expanding school management software actively used by hundreds of schools across the Czech Republic
Matfyz Developer Studen Club - I am a founding member of developer student club that servers the purpose of simulating work-like experience while working on larger projects. Our most recent application is Mathletics which is a web sport tracking application used by the faculty of mathematics and physics for distant learning.
I was accountable for content creation of math textbooks for high school students now used by over 240 schools and 30 000 across Czechia and Slovakia.
Finished with grade average of 1.07 (1.0 is the best possible).
We have developed fully functioning and automatic system for faulty screen and diod recognition in large scale production line displays.
Our team placed third.
In the course of 7 hours we have developed fully functioning web application visualizing telemetry data from IoT devices. The application analyzes and predicts future failures of IoT devices, notifying workers ahead of time to prevent total failure.
Our team placed first.
As a team we have developed fully functioning mobile application with server side. All written in C# using Xamarin and .NET Core frameworks. The application mediated communication between workers and their superiors as well as provided helpful information about the facility the worker was assigned to.
Our team placed first.
Team effort at transforming lidar data provided by the Valeo company into a human readable form. We have placed third in this hackathon.
Global contest of UWP applications and applications created with the UnoPlatform framework. My application Yöti which I created from scratch in the span of nine months placed second in the multiplatform category.
Coming soon!
Comming soon!
This is bold and this is strong. This is italic and this is emphasized. This is superscript text and this is subscript text. This is underlined and this is code:
for (;;) { ... }. Finally, this is a link.
Fringilla nisl. Donec accumsan interdum nisi, quis tincidunt felis sagittis eget tempus euismod. Vestibulum ante ipsum primis in faucibus vestibulum. Blandit adipiscing eu felis iaculis volutpat ac adipiscing accumsan faucibus. Vestibulum ante ipsum primis in faucibus lorem ipsum dolor sit amet nullam adipiscing eu felis.
i = 0;
while (!deck.isInOrder()) {
print 'Iteration ' + i;
deck.shuffle();
i++;
}
print 'It took ' + i + ' iterations to sort the deck.';| Name | Description | Price |
|---|---|---|
| Item One | Ante turpis integer aliquet porttitor. | 29.99 |
| Item Two | Vis ac commodo adipiscing arcu aliquet. | 19.99 |
| Item Three | Morbi faucibus arcu accumsan lorem. | 29.99 |
| Item Four | Vitae integer tempus condimentum. | 19.99 |
| Item Five | Ante turpis integer aliquet porttitor. | 29.99 |
| 100.00 | ||
| Name | Description | Price |
|---|---|---|
| Item One | Ante turpis integer aliquet porttitor. | 29.99 |
| Item Two | Vis ac commodo adipiscing arcu aliquet. | 19.99 |
| Item Three | Morbi faucibus arcu accumsan lorem. | 29.99 |
| Item Four | Vitae integer tempus condimentum. | 19.99 |
| Item Five | Ante turpis integer aliquet porttitor. | 29.99 |
| 100.00 | ||