School of Computing

Mr Vilem-Benjamin Liepelt

Research Student

Photo of V Liepelt
  • Tel:     +44 (0)1227 82 7570
  • Fax:     +44 (0)1227 762811
  • Email: vl200@kent.ac.uk
  • 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: 18/07/2019