Software engineer from Prague, currently based in Munich, Germany
You can find me on:
What keeps me occupied these days
Software engineer at Google
As a member of the Identity team, I write mostly backend stuff in Java and eat lots of chocolate
(not necessarily in that order).
(since October 2016)
Charles University in Prague
Master’s degree in Theoretical Computer Science (finished in September 2016)
Faculty of Mathematics and Physics
(2013 – 2016)
University of New Orleans
Participating in international exchange programme. I took classes in Distributed Systems, Planning in
Artificial Intelligence and Fundamentals of Game Development.
Department of Computer Science
University of Bergen
Participating in Erasmus exchange programme. I took classes in Cryptography, Social Web (analyzing data from
social networks) and Semantic Technologies.
Department of Informatics
For full education and work experience please check out my
My developer profile
I got a solid theoretical background from school. During my postgraduate studies I have
been specializing (among other things) in Artificial Intelligence, Neural
Networks, Machine learning and Data Mining.
I use Java on a daily basis when working on the super
secret Google stuff™. Before joining Google, I used Java quite often
for my school projects (e.g my bachelor’s thesis,
a Google App Engine application, or tjfs).
In my master's thesis I was dealing with Semantic Web related technologies, including
RDF, SPARQL and Virtuoso.
Nette + PHP + MySQL is what I was using for a very long time at my daily job. With these
technologies I can quickly develop robust, secure and extensible web applications.
I'm more than familiar with React.js, Redux and other
See my Github profile for more info.
I'm no stranger to functional programming either. Besides the aforementioned frontend
technologies which in their nature take a lot from the functional world, I'm also experienced with
Scala and Play Framework. My whole master's thesis
is to a large extent functional.
I have been using Linux as my main desktop OS since I was a
teenager. I started with Gentoo and after few difficult years I
switched to OpenSuse. Currently I use Ubuntu
for both work and fun. Although I'm not a believer, I tried Mac once and it ended
up extremely badly (partially for ideological reasons).
The highlights of my work
My master’s thesis. I developed a web platform and a framework for automatic generation of simple
web applications based on RDF linked data. The thesis is extending an ongoing research project
home faculty. The backend is powered by Scala with Play Framework, the frontend is using React.js with
Redux. For more information please refer to the
During my stay at University of New Orleans we developed a high-availability
distributed file system based on the original Google FS design. The file system is
written completely in Java.
page. It’s based on the bleeding-edge JS technologies like React.js, Flux and
Coding and MODx Revolution backend for the personal web page of my cousin, a
copywriter. The page is Bootstrap based, fully responsive and fairly small despite
it is Retina ready, has a custom font and contains lots of graphical elements.
Huge B2B e-shop that we developed in Alltoys using PHP/Nette. Factor was refined
and polished to perfection with the specific needs of the wholesale environment
This was my bachelor’s thesis. It’s an application for high school e-learning,
developed on Google App Engine platform, with Java/Spring MVC backend and
imposed by the cloud environment and a non-relational database.
As a part of my thesis text
, I wrote down a brief introduction into the
summary puts emphasis on how these tools complement each other. You might also refer to
, where you can find useful tips for when your React application starts growing and you
find yourself in the need of writing a scalable modular code.
The (exhausting) text of my master’s thesis, accompanying the actual software project
LinkedPipes Application Generator
. The text describes the underlying LDVM
implementation, how it is integrated into the generator and how the framework works. It also presents
and analyses a couple of efficient graph algorithms over an RDF triplestore.
A short paper that I wrote at the end of my stay in New Orleans as one of my assignments. It merely
organizes and sums up different approaches that are used for procedural level generation in platformer
games. Interestingly, many of those approaches involve practical use of machine learning techniques that I
encountered during my studies.
I published a miniseries
of articles about React, Flux and Immutable.js on
, a Czech popular online magazine
for developers. The original text in English can be found
The rest of my online activities