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.
Visar 6 publikationer
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
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.