Friday, January 1, 2016

Type Systems for Concurrency

In today's mobile world, all programs are concurrent and distributed. This challenges the traditional sequential model of computing, leading to new and hard-to-diagnose bugs such as data races and non-determinism. One central focus of my work has been to develop type systems to prevent concurrency-related bugs by construction from software.

Publications related to Type Systems for Concurrency:


Get in touch with me


Kestrel Institute 3260 Hillview Avenue Palo Alto, California 94304 USA


westbrook at