As a passionate software developer, I specialize in creating efficient, scalable, and maintainable applications. I have a diverse range of experience working with various programming languages and technologies, but currently, I am particularly fond of Rust and Python. I'm always eager to explore and learn new technologies, so I'm open to working with any other programming languages as well.
In my professional experience, I have excelled in working collaboratively in teams, and I'm known for being a team player. Additionally, I have a strong foundation in research and problem-solving skills. I pride myself on my ability to dive deeply into a problem and come up with innovative solutions.
In the past few years, I've had the privilege of working in an international team of researchers, where I honed my skills in effective communication, both in written and spoken forms, at a professional level.
On a personal note, I am happily married and have a beautiful six-month-old daughter. While my spare time is limited, I enjoy spending it with my family and prioritize my family's needs above all else.
April 01, 2023
After finishing my time at IT4Innovations, I'm eager to see what the future holds.
March 31, 2023
My contract is going to end at the end of March 2023
February 27, 2023
I wantent to have a more detailed summary. So I decided to use currently poular ChatGPT to help me with it, especially to design the timeline; therefore, accelarete the process. However, at the end the most time takes the filling of the content :D
September 01, 2022 - April 30, 2023
Sofia and Pavlína are Bachelor students solving this project together. Me and Kateřina are in role of supervisors. The tool takes the result of traffic simulator (Ruth) and produce a video presenting an evolution of traffic flow within a city at particular time period.
October 02, 2021 - March 31, 2023
Caver is a well established tool for analysing and visualization of tunnels and channels in proteins. The original version is a piece of scientific software developed by people from different field. Neverthless, Caver has a good base of users. We want to transfer the knowledge and apply the computer science approach. The new version shoud be easier to maintain, extend by new functionalities, and with a better user interface. However, the new version is still work in progress.
June 10, 2021 - March 31, 2023
Ruth is the final iteration of the deterministic traffic simulator. I am the lead developer of this project. The simulator is capable to simulate the traffic flow within a city. We aim to optimize the entire traffic flow instead of optimizing routing for particular drivers. The project consist of two separte parts. The first is a simulator written in Python and a part written in Rust used for data preprocessing and compute intensive parts. A portion of Rust library has a Python binding so it can be directly used in the simulator. In the latest version we use third party C++ library for alternative routing.
November 02, 2020 - March 31, 2023
In the project I am responsible for providing a part of one use case; Deterministic Traffic Simulator.
February 21, 2020 - January 20, 2021
After ending the project in which the viaRODOS was developed. IT4Innovations decided to sustain the project and operate it. We had a limmeted time when the original operator shut the system down. I was asked to deploy the system at our infrastructure. There was a lot of problems with it and over time other people were involved to succesfully deploy the system. I was mainly resposible for modifications in the original code.
January 21, 2020
Topic: Extraction of abstract models of communications from message-passing applications. Within my thesis I focused on the issue of program visualization, especially on the visualization of communication in MPI applications. For that purpose, I proposed a new abstract model for communication with natural visualization based on Petri nets; called MP-nets. As a proof of concept, I implemnted Morpheus tool.
September 02, 2019 - December 16, 2021
A Python API for CaverDock has been implemented. CaverDock is a tool for analysis the transport processes in proteins. Via the new API users is able to define a set of analyses that will be performed on input data. The API also provides post-processing capabilities. Therefore, the users get a flexible tool where they can describe an entire pipeline including the post-processing of results.
January 30, 2019 - August 28, 2019
A proof of concept tool developed as a part of my Ph.D. thesis. In contrast to Kaira this tool represents an opposite process. Morpehus takes as input a code of MPI (Message Passing Interface) application and produce an abstract model of communication. The model is inspired by Kaira's model but on a lower level of abstraction which can be used to further investigate the communication.
June 01, 2018
I fully moved to IT4Innovations and start working as a researcher there.
May 31, 2018
I quit my position at Faculty of Electrical Engineering and Computer Science and moved to IT4Innovations - National Supercomputing Center.
October 02, 2017 - May 31, 2018
During this short period I had a partial contract at IT4Innovations as a research assistant. I joined H2020 Antarex project and helped with optimization of some MPI applications. This work was strongly connected to my Ph.D. thesis.
March 01, 2016 - December 04, 2017
The tool was developed as a part of a a GAČR project. I contributed to this tool rather during the discussions of the team then a developer.
November 01, 2012 - May 31, 2018
We have developed a complex hierarchical spreadsheet componet in Javascript canvas. Over time, I became the lead developer of this project.
November 01, 2012
During my Ph.D. study I was employed at the faculty as a researcher. I was mainly involved in student grant projects and national projects: GAČR and TAČR. In addtion to project work, I also taught courses in introduction to programming, theoretical computer science, and Petri nets.
October 01, 2012
PhD programme in Computer Science. Advisor: Petr Jančar
June 07, 2012
Topic: Image Preprocessing for Larga Scale Data Collections. As a part of my diploma thesis I developed a visual programming tool based on stream processing, called Despr. It is an easily extensible tool allowing users to specify complex algorithms in the form of interconnected basic blocks. The tool was mainly used in the field of image processing.
October 03, 2011 - October 12, 2016
During my last year of Mater's study I joined to project Kaira. The main author of the project is Ada Böhm. The ideas from this project later led to her Ph.D. thesis. I was mainly repsonsible for performance analysis part and this work strongly influenced my Ph.D. thesis as well.
October 01, 2009
Master's programme in Computer Science.
July 01, 2009 - September 30, 2009
Another summer project for Fire Rescue Service. That year I've created a website for the firefighters museum of Ostrava. The page has a basic content administration for publishing news. Nowadays the musem uses a different version.
June 08, 2009
Topic: Practical soulition for comparison of coin images independent on rotation. The results were also published in scientific article. It was my first article at the international conference.
July 01, 2008 - September 30, 2008
The second summer during my university studies I returned back to Fire Rescue Service and developed a concat databese with a web interface. The application is still in use :-)
October 02, 2006
Bachelor's programme in Computer Science.
June 28, 2006
Maturita, Passsed with distinction
September 01, 2005 - March 31, 2006
As a part of my profecional practice I was working at IT department of Fire Rescue Serivce of the Moravian-Silesian Region.
September 01, 2004 - June 30, 2005
As a part of my profecional practice I was working at IT department of Fire Rescue Serivce of the Moravian-Silesian Region.
September 02, 2002
Electrical Engineering
This page was created by me with a little help of ChatGPT :)