previous


I started my professional career as a dilligent student of pure mathematics, doing all kinds of horrible things (even differential equations - ugh!), but progressively moved toward theoretical computer science resulting in my dissertation Typed Lambda Calculi. Since I thought it was pretty good and definitely worth more than one lousy degree, I submitted it twice and consequently got two (M.Sc. from University of Leeds and Mgr. from Masaryk University in Brno).

continue...