* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
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