Vilem-Benjamin Liepelt

Research Student

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