Julian Tschannen

Picture of Julian Tschannen

Contact

Homepage: jt.x73.ch
E-mail: jt@x73.ch

Introduction

This page is outdated, my new homepage is jt.x73.ch.

I have completed my PhD under the supervision of Prof. Bertrand Meyer at ETH Zurich in the area of software verification. My thesis - Automated Usable Functional Verification of Object-Oriented Programs - contains details on the functionality and implementation of AutoProof and the Verification Assistant, both integrated in EVE.

Publications

Submitted

2015

2014

2013

2012

2011

2010

2009

Events

Teaching

Student projects

Valid XHTML 1.0 Strict