Registered user since Sun 4 Nov 2018
Name: Vilem-Benjamin Liepelt
I am collaborating with my supervisor Dominic Orchard (Kent, UK) and Harley Eades III (Augusta, GA) on Granule, a linear functional language with graded modal types. This is a continuation of research I started during my undergraduate degree. I was awarded a funded research PhD position to continue work in the area of linearity and graded modal types from September 2018.
- I co-authored an extended abstract and gave a joint talk at SREPLS 7 about this work.
- I completed a final year research project about adding (G)ADTs to Granule, along with a working (prototype) Haskell implementation.
In the context of CamFort, a static analyser for Fortran source code written in Haskell, I evaluated the possibility of discharging units-of-measure checking and inference to an off-the-shelf SMT solver (Z3). This was my first time both working on a serious Haskell codebase and using SMT solvers.
I worked on extending email preferences for customers of a major Google product. My project involved using Java 8 streams within Google’s infrastructure.
In the context of a distributed ledger infrastructure built using Haskell, I worked on adding permissions and statically checking absence of concurrency bugs for concurrent, multi-party workflows.
Country: United Kingdom
Affiliation: University of Kent, UK
Personal website: https://www.cs.kent.ac.uk/people/rpg/vl200/
Research interests: Theorem Proving, Program Analysis, Algebraic Programming, Data Structures
|ICFP 2019|| Fine-grained program reasoning using linear and graded modal types|
Quantitative program reasoning with graded modal types
|Show activities from other conferences|
View general profile