About me

For the past six years I have been a PhD student at the Chair of Software Engineering of ETH Zurich. In December 2014 I have successfully defended my PhD thesis titled Automated Usable Functional Verification of Object-Oriented Programs. The thesis focuses on two verification tools, AutoProof and the Verificaion Assistant, both of which are integreated in an open-source IDE for Eiffel called EVE. In addition to doing theoretical research in the area of software verification, my PhD included a significant share of engineering work to devise and implement these tools, as well as management work organizing a yearly summer school and supervising students.

Software engineering

When I design or develop software, I strive to find usable and effective solutions. It is important to use the right tools for the job, but also to use the right architecture and interface. Large systems that are developed and maintained over many years have different needs than a prototype or showcase application. My studies at ETH Zurich have given me a broad foundation in a wide range of software engineering areas, which allows me to adapt to the situation at hand.

Over the past 15 years I have used different technologies and a variety of programming languages: C, C#, C++, Eiffel, Haskell, Java, Javascript, Pascal, PHP, Python, x86 assembler. While I do not have years of experience with a specific application framework, the fundamental knowledge of different programming paradigms and software engineering concepts allows me to pick up any technology with ease.

Management experience

I have aquired management experience through different activities over the past 15 years:

• As five time co-organizer of the LASER summer school I was responsible for the school's budget, communication with the participants and handling participant applications, organizing merchandise, and maintaining the website.
• For more then ten years I was a board member of the basketball club Rüti Basket, five years of which I was the clubs president. Over the years I was responsible for a wide range of issues: organizing board meetings, representing the club in the regional and national basketball association, planning practice schedules, and more. At its peak, the club counted more than 100 active members in nine teams.
• For seven years I was a basketball coach of various teams of both youth and adult players. My tasks were preparing and running practice sessions multiple times a week, coaching during official league games, and general administrative tasks for the teams.
• During my time as a PhD student I have supervised various student projects: one Master's thesis, two Bachelor's theses and three lab projects.
• I was a teaching assistant for several lectures at ETH Zurich: Introduction to Programming (three times), Software Architecture (two times), Distributed and Outsourced Software Engineering (three times), Java and C# in Depth (once). Multiple times I was guest lecturer in Introduction to Programming and Software Verification.