GPCE 2015
Mon 26 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
Dave Clarke

Registered user since Sun 18 Jan 2015

Name: Dave Clarke

Bio: Dave Clarke is a Professor at the Department of Computer Science of the Katholieke Universiteit Leuven (Belgium), where he is a member of the DistriNet (Distributed Systems and Computer Networks) research group. Dave Clarke has a PhD from the University of New South Wales in Sydney, Australia, and he continued his scientific career as a postdoctoral researcher in Utrecht University, and as a scientific staff member at the CWI in Amsterdam. In his PhD thesis, and in several influential ECOOP and OOPSLA publications, Dave has pioneered and further developed the notion of ownership types to control some of the bad effects of aliasing in object-oriented languages.

Country: Australia

Affiliation: Uppsala University, Sweden and KU Leuven, Belgium

Personal website: http://people.cs.kuleuven.be/~dave.clarke/

Research interests: Programming languages and type systems, ownership types, logic and verification, secure software, coordination and distributed systems.

SPLASH 2015 Activities

SPLASH 2015-profile
View general profile