There should be a picture of me here..

Daniel Schoepe

PhD student in Computer Science
Department of Computer Science & Engineering
Chalmers University of Technology
Email: my first name <at> my last name <dot> org
PGP key ID: D74332EE6A596373

Office: 5449
Rännvägen 6
412 96 Gothenburg, Sweden

I'm a PhD student in the Language-based Security group at Chalmers. My supervisor is Andrei Sabelfeld.

My research focuses on applying techniques from programming language research to simplify writing programs that are provably secure. In particular, the aim is to prevent untrusted software from disclosing private information about its users. To that end, I'm interested in using ideas from Functional Programming and Formal Methods. I also think that formal verification of proofs is important for obtaining correct and well-defined results.