Contact

František Farka
School of Computing
University of Dundee
Dundee
DD1 4HN
Scotland
P: +44 (0)1382 384145
ffarka@dundee.ac.uk
School of Computer Science
Jack Cole Building
North Haugh
St Andrews
KY16 9SX
Scotland
ff32@ѕt-andrews.ac.uk

Hi there!

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.

View résumé»

Recent activities

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»