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
Portfolio
Ratata (2019)
- 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)
- A magic carpet flight simulator (prototype)
- Interesting features:
- Dance pad controls
- Concave world
- My responsibility: programming
- Created using Unreal Development Kit
Other projects
- 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