School of Computing

Mr Vilem-Benjamin Liepelt

Research Student

Photo of V Liepelt
  • Room SW11
    School of Computing
    University of Kent, CT2 7NF

Publications

PhD Project Summary

Research Interests

I am a member of the following research groups:

A nonexhaustive lists of my interests:

  • Program verification
  • Type systems and logics
  • Functional programming
  • Usability and HCI
  • Systems programming

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 05/12/2019