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:

CSF’15, ESOP’15, SAS’15, PPDP’15, POST’14, POST’13

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

Lecturer at Marktoberorf 2015

Keynote speaker: Nordic Conference on Secure IT Systems (NORDSEC) 2014, Theory of Security and Applications, ETAPS 2011,  European Symposium for Research in

Computer Security (ESORICS) 2009

Current PhD Students

Hamid Ebadi

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

  1. Phu H Phung

  2. Filippo Del Tedesco