David Sands


David Sands (PhD, Imperial College 1990), Professor of Computer Science since 2001 at Chalmers University of Technology in Sweden. His main research research areas are Programming Languages, Computer Security, and their combination. He leads the ProSec research group (Programming Language Based Methods for Security).

  1. Google Scholar Profile

Professor of Computer Science

Some Recent publications

See all...

Selected Activities

Co-director, Chalmers Area of Advance ICT

Chairman (2011-2013) of the Computer Science

evaluation panel of the Science Council of Sweden.

PC member:


Oakland 2013, CC 2012, ESSoS'11, CSF’10, ESSoS’10,ESOP’10,VMCAI’10, POPL’09

Lecturer at Marktoberorf 2013

Keynote Speaker: European Symposium for Research in

Computer Security (ESORICS) 2009

Keynote speaker, Theory of Security and Applications, ETAPS 2011

Current PhD Students

Filippo Del Tedesco

Bart van Delft

Former PhD students

• Johan Agat

• Andrei Sabelfeld

• Jörgen Gustavsson

• Stefan Axelsson

• Karol Ostrovsky

• Josef Svenningsson

• Daniel Hedin

• Tobias Gedell

• Niklas Broberg

• Phu H Phung