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 is currently doing a Ph.D. under Dominic Orchard at the University of Kent, where he is researching the use of linearity and graded modal types for resource aware type systems and compilers. Vilem holds a BSc in Computing and Artificial Intelligence from the University of Kent. He has worked on CamFort, a static analyser for Fortran source code and done an engineering internship at Google in London.