| layout |
|---|
default |
Areas of interest:
- computer science
- computationally hard problems
- algorithmization
- optimization
- artificial intelligence
- computer games
- improving quality of life
- effective altruism
- philosophical dialogue
Resume: bartekfilip-resume-en.pdf
{:.center}
Ratata (2019)
<iframe src="https://www.youtube-nocookie.com/embed/YM_TlJy8N4g" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>
- A rhythm game for Windows
- Created in 48 hours for Global Game Jam 2019
- My responsibility: programming
- Created using Unity
nbspacer (2016)
- Replaces regular spaces in HTML documents with non-breaking spaces (
) where appropriate - Conservative (VCS-friendly) - leaves the rest of the document intact
- Supports two languages: Czech and English
- Command line interface
- Programmed in Python
PDF Manipulation Utility (2016)
- Lets you inspect and manipulate the following content of PDF documents:
- PDF version
- Properties
- Attachments (only adding attachments is supported)
- Digital signatures
- Command line interface
- Programmed in Java using iText
- See also introductory article
missls (2015)
- Tactical nuclear warfare party minigame
- Originally created solo in 48 hours for Ludum Dare 32
- Created using GameMaker: Studio
Magic Dance Dance Carpet (2013)
<iframe src="https://www.youtube-nocookie.com/embed/5cXR576lDHI" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>
- A magic carpet flight simulator (prototype)
- Interesting features:
- Dance pad controls
- Concave world
- My responsibility: programming
- Created using Unreal Development Kit
-
GeoSign (2016)
- Assists Czech land surveyors in digitally signing documents and sending them to cadastre offices
- Qt 4
-
path_finding (2015)
- Visualization of A* search
- SageMath, Python
-
Stable roommates problem solver (2014)
- Performance evaluation, constraint programming
- Prolog, SICStus Prolog, clp(FD), NaturalDocs, LaTeX
- Report
-
NokiaWebGL (2014)
- Extracts a 3D map of a large region from a Nokia service
- Improvement of an existing tool with similar functionality - I made it produce a single 3D model for easier processing
- Python
-
Slinky conductor (2014)
- Software toy, image processing, rhythm, juggling, slinky, art
- C++, OpenCV, Boost, Visual Studio, Windows
- Project report
-
Stationary analysis of one channel queueing systems (2014)
- Theory of probability
- SageMath, LaTeX, SageTeX
- Source
-
The Best Amendment Computer Game Analysis (2013)
- Game studies, computer game analysis
-
Static Analysis Suite (2013)
- Extension of Clang Static Analyzer with new checkers
- Analysis of the possibility of deploying Clang SA in the testing process in the PH-SFT department of CERN
- Summer Student Programme (internship / summer school) in CERN
- C++, Clang Static Analyzer, Linux
- Work Project Report
- Interview
-
Rabin game solver (2012)
- C++ implementation of two algorithms that find a winning strategy given an instance of a finite Rabin game (defined for example here)
- My bachelor thesis at Masaryk University [in Czech]
- C++, Windows