Stephan van Staden

Picture of Stephan van Staden

Address

Stephan van Staden
Software Engineering, Meyer
Clausiusstrasse 59
RZ J5
8092 Zurich

Contact

E-mail: Please click here.
Phone: +41 44 632 77 04
Fax: +41 44 632 14 35

Overview

I am a research and teaching assistant at the Chair of Software Engineering at ETH Zurich under the supervision of Prof. Bertrand Meyer.

Research

My primary interest is in formal verification of software. I'm therefore interested in:

Publications

2012

2010

2009

Teaching

Internship

I did an internship at Microsoft Research in Cambridge between February and April 2011. I worked on separation logic and sharing in data structures, the verification of object-oriented programs, and algebra.

Summer schools

I attended the following summer schools:

Events

Member of the organizing committee of TAP 2009, the third international conference on Tests And Proofs

Talks

Slides about separation logic for Object-Orientation (presented in the Separation Logic course): PDF PPTX

Slides for several of my research talks are available at Publications.

Goodies

Information about Boogie (syntax highlighting, the reference manual, general tips) is available here.

Other

Trouble understanding fractional permissions? Maybe this video tutorial helps.