Vilem-Benjamin Liepelt

Research Student
Email
vl200@kent.ac.uk
Telephone
+44 (0)1227 82 7570

About



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
Last updated