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

Personal website: http://www.doc.ic.ac.uk/~cn06

Research interests: Programming Languages, Concurrency, Static Analysis, Session Types

* ICSE 2018 * Activities

• Author of A Static Verification Framework for Message Passing in Go using Behavioural Types within the Technical Papers -track in * ICSE 2018 *
• Show activities from other conferences