David Sands
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).
Professor of Computer Science
Some Recent publications
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:
POST’13
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

Former PhD students

• Johan Agat
• Jörgen Gustavsson