Sandro Stucki
I'm a lecturer at the department of Computer Science and Engineering (CSE) at Chalmers University of Technology. In the past, I have worked as an applied scientist at Amazon, and as a postdoctoral researcher at Chalmers and the University of Gothenburg. I did my doctoral studies at the Programming Methods Laboratory (LAMP) at EPFL under the supervision of Professor Martin Odersky.
In my teaching and research, I like to explore the many aspects of programming languages. I'm particularly interested in formal methods, type systems and theory, and the semantics and implementation of domain-specific languages.
Showing 6 publications
Reconciling Shannon and Scott with a Lattice of Computable Information
Precise Analysis of Purpose Limitation in Data Flow Diagrams
Transforming data flow diagrams for privacy compliance
Gray-box monitoring of hyperproperties with an application to privacy
Refining Privacy-Aware Data Flow Diagrams
A theory of higher-order subtyping with type intervals
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.