David Sands

David Sands

Chalmers tekniska högskola

H-index: 38

Europe-Sweden

About David Sands

David Sands, With an exceptional h-index of 38 and a recent h-index of 18 (since 2020), a distinguished researcher at Chalmers tekniska högskola, specializes in the field of Information flow security, Language-Based Security, Programming Languages.

His recent articles reflect a diverse array of research interests and contributions to the field:

Reconciling Shannon and Scott with a Lattice of Computable Information

Propr: property-based automatic program repair

A Quantale of Information

New Program Abstractions for Privacy

David Sands Information

University

Position

Professor of Computer Science

Citations(all)

5610

Citations(since 2020)

1078

Cited By

4912

hIndex(all)

38

hIndex(since 2020)

18

i10Index(all)

67

i10Index(since 2020)

33

Email

University Profile Page

Chalmers tekniska högskola

Google Scholar

View Google Scholar Profile

David Sands Skills & Research Interests

Information flow security

Language-Based Security

Programming Languages

Top articles of David Sands

Title

Journal

Author(s)

Publication Date

Reconciling Shannon and Scott with a Lattice of Computable Information

Proceedings of the ACM on Programming Languages

Sebastian Hunt

David Sands

Sandro Stucki

2023/1

Propr: property-based automatic program repair

Matthías Páll Gissurarson

Leonhard Applis

Annibale Panichella

Arie van Deursen

David Sands

2022/5/21

A Quantale of Information

Semastian Hunt

David Sands

2021

New Program Abstractions for Privacy

Sebastian Hunt

David Sands

2020/3

See List of Professors in David Sands University(Chalmers tekniska högskola)

Co-Authors

H-index: 42
Reiner Hähnle

Reiner Hähnle

Technische Universität Darmstadt

H-index: 40
Andrei Sabelfeld

Andrei Sabelfeld

Chalmers tekniska högskola

H-index: 39
Chris Hankin

Chris Hankin

Imperial College London

H-index: 38
Koen Claessen

Koen Claessen

Chalmers tekniska högskola

H-index: 32
Gerardo Schneider

Gerardo Schneider

Göteborgs universitet

H-index: 29
Alejandro Russo

Alejandro Russo

Chalmers tekniska högskola

academic-engine