Programmer | Researcher | Dreamer
Currently I am a computer science student finishing my PhD at the Charles University in Prague and looking for a job in the video game industry or in an AI related position. I consider myself to be a skilled programmer with solid mathematical background.
In my reasearch I am focusing on computational intelligence, with the main interest in strongly typed genetic programming. I have been trying to connect the inductive problem solving capabilities of genetic programming with deductive approach found in mathematical logic via functional programming type systems. The most notable application of our approach is a system for automatic creation of machine learning workflows (GP-ML) by means of Typed Functional Genetic Programming.
This section is still under development, so the information presented here is very incomplete. Sorry.
A library for Typed Functional Genetic Programming approaching its objective from the functional programming point of view by using type theory.
The most notable application of TFGP library so far is a system for automatic creation of machine learning workflows by means of computational evolution.
A port of TFGP library to Python enriched with Monte Carlo search methods for program genaeration.
Interactive evulution of vissually appealing tile patterns using TFGP and cellular automata. Used as a part of architectonic design.