Meet The Team


Vilem Liepelt

Vilem is a Software Engineer with a strong affinity for functional programming and an interest in static analysis and compilers. He recently finished his undergraduate studies in Computer Science and Artificial Intelligence at the University of Kent. He is due to start a Ph.D. under Dominic Orchard at the University of Kent in September 2018 to continue his research into Linear Graded Modal Type Theory. He has worked on CamFort, a static analyser for Fortran source code and done an engineering internship at Google in London.