Functional programming, combinatorial optimization. F#/C# developer and mathematician at MSPS s.r.o.