Jindřich Ivánek

Software developer focused mainly on F#, with a passion for functional programming, problem solving, efficient algorithms and programming languages.

Experienced with backend F# programming.

I have a strong computer science background, focused mainly in graph theory and graph algorithms; also was intrigued by data structures, complexity, and computability theory.

I worked with mathematical optimization (mixed integer programming) and use of statistical methods as well.

I contributed to several open source F# projects, mostly around developer tooling.

Projects

Fantomas

Nov 2017 - Present

Contributing to and co-maintaining open source project Fantomas (F# source code formatter)

Proba-tool

Mar 2017 - Nov 2018

Tool for creating correction function to fix measured values of satellite Proba2, based on data analysis. Cooperation with UFA AV ČR and ESA. Abstract.

Details in blog entry.

AncestorsMap

May 2017 - Jul 2020

Interactive map showing genealogy.

Repository: AncestorsMap

Fantomas Online

Oct 2018 - Apr 2020

web interface for Fantomas code formatter.

Was later integrated as part of Fantomas-tools project

cs2fs

Apr 2017 - Mar 2019

Tool for transpiling C# code to F#.

Mechanic

Jan 2018 - Apr 2018

F# source files ordering tool using AST analysis to find dependency between files.

Code for finding dependencies from AST and ordering files from dependencies is my work. Short summary here.