Name:Wen Kokke

Affiliation:University of Edinburgh

Research interests:Programming Languages, Substructural Types, Dependent Types, Natural Language Processing, Machine Learning