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.
Contributions
SPLASH 2015-profile
View general profile
View general profile