František Farka

František Farka is a Senior Formal Methods Engineer at BlueRock.io since September 2021, with a strong background in computer science research and development. Previous roles include Postdoctoral Researcher at IMDEA Software Institute from July 2019 to August 2021, Research Assistant at Heriot-Watt University from November 2018 to April 2019, and Programmer at Designeo Creative s.r.o. from October 2010 to June 2015. Earlier experience includes web development positions at Atteq and as a self-employed web developer from 2008 to 2010. František Farka holds two Doctor of Philosophy degrees in Computer Science from the University of St Andrews and Heriot-Watt University, as well as a Master's degree from Charles University and a Bachelor's degree from the same institution, complemented by an exchange year at Utrecht University.