Write a Blog >>
TechDebt 2018
Sun 27 - Mon 28 May 2018 Gothenburg, Sweden
co-located with * ICSE 2018 *
Nicholas Ng

Registered user since Tue 18 Aug 2015

Name:Nicholas Ng
Bio:

I apply theoretical understanding of concurrency to analysis of programming language and systems, in particular, Go ʕ◉ϖ◉ʔ

Country:United Kingdom
Affiliation:Imperial College London
Research interests:Programming Languages, Concurrency, Static Analysis, Session Types

Contributions

* ICSE 2018 * A Static Verification Framework for Message Passing in Go using Behavioural Types
Show activities from other conferences

* ICSE 2018 *-profile
View general profile