Wen Kokke (Preferred)
Wen Kokke
University of Strathclyde
- Joined January 2020
Names
Emails
****@ed.ac.uk (Confirmed)
, ****@pm.me (Confirmed)
, ****@strath.ac.uk (Confirmed)
Personal Links
Education & Career History
Postdoc
University of Strathclyde (strath.ac.uk)
2021 – Present
PhD student
University of Edinburgh (ed.ac.uk)
2016 – Present
Postdoc
Heriot-Watt University (hw.ac.uk)
2019 – 2021
MS student
University of Amsterdam (uva.nl)
2016 – 2016
MS student
Utrecht University (uu.nl)
2012 – 2016
Undergrad student
Utrecht University (uu.nl)
2008 – 2012
Advisors, Relations & Conflicts
PhD Advisor
Sam Lindley
2016 – 2021
PhD Advisor
Philip Wadler
2016 – 2021
Coauthor
J Garrett Morris
2016 – 2020
Coauthor
Inari Listenmaa
2019 – 2019
Coauthor
Fabrizio Montesi
2018 – 2019
Coauthor
Wouter Swierstra
2014 – 2016
Expertise
smt solvers, refinement types
2019 – Present
verification, neural networks
2019 – Present
session types, concurrency
2016 – Present
verification, depentently-typed programming, agda
2012 – Present
natural language processing
2010 – Present
types systems, programming languages, functional programming
2010 – Present
substructural logic, linear logic
2010 – 2016