My name is František Farka and I am a PhD student jointly at the University of Dundee and the University of St Andrews. My supervisors are Ekaterina Komendantskaya and Kevin Hammond.
I am from Czech Republic and before I came to Scotland I studied at Faculty of Mathematics and Physics, Charles University in Prague.
I am going to take part in the next SPLS. View details»
12th of May 2015: I helped to organize the Workshop on Type Inference and Automated Proving. Recordings and talk slides are online. View details»