David Sands

Professor, at the Computing Science Department at Chalmers University of Technology and University of Göteborg.

• Email: dave at cs.chalmers.se
• Phone: work +46 31 772 1059(direct), home +46 31 68 29 52.
• Room: 5474, EDIT building, Rännvägen 6b. Chalmers Map
• Postal Address:

Chalmers University of Technology and University of Göteborg
Department of Computing Science
S-412 96 Göteborg
Sweden

Research

My research interests include programming language semantics, and their applications to program transformation, static analysis and security.

• ESOP '01 (Programme Chair), the European Symposium on Programming, Genova, Italy 2-6 April 2001.

• SAS'01 The 8th International Static Analysis Symposium La Sorbonne, Paris, 16-18 July, 2001

• SAIG 2001 International Workshop on Semantics, Applications and Implementation of Program Generation

• ICALP2002 Twenty Ninth International Colloquium on Automata, Languages and Programming, Málaga, July 8-13, 2002

  ---

• PADL'01 Third International Workshop on Practical Aspects of Declarative Languages, Las Vegas, March 11-12 2001 (colocated with the ACM symposium on Applied Computing).

• HOOTS IV the Fourth International Workshop on Higher-Order Operational Techniques in Semantics, which will be held in Montreal in conjunction with PLI 2000, September 2000.
• Static Analysis Symposium 2000, Santa Barbara, June 2000 (co-located with LICS)
• POPL '00 , the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, held January 19-21, 2000.
• HOOTS III : the Third International Workshop on Higher-Order Operational Techniques in Semantics, Paris September 1999.

• Online bibliography of publications

Teaching

Recent courses:

• Programmering för Naturvetare, del A - first programming course, using Haskell;
• Parallell Programmering (Concurrent Programming);

Last modified: Mon Apr 26 13:14:47 CEST 2004