Since 2011 I've been a doctoral student at ETH, where I also received my Master's. I did my Bachelor's at the FH Gelsenkirchen, during which I spent a great semester abroad at the TPU in Tomsk, Russia. Before going to university I completed an apprenticeship as a media designer. A slightly outdated CV is available.
From September to December 2013 I've been a visiting scholar at the KU Leuven in the group of Bart Jacobs, where I worked on using VeriFast to verify inter-thread contention problems.
In the course of my Master's thesis I implemented a symbolic-execution-based verifier for Chalice - called Syxc. In the meantime, it has been superseded by Silicon, which is part of our group's Viper verification infrastructure. Viper includes a dynamic frames-based intermediate verification language called Silver, and several tools centred around it, including Silicon. I am also working on fractional permissions and on (observational) immutability.
U. Juhasz and I. T. Kassios and P. Müller and M. Novacek and M. Schwerhoff and A. J. Summers:
Viper: A Verification Infrastructure for Permission-Based Reasoning
Technical Report, ETH Zurich, 2014. [PDF] [BIB]
I. T. Kassios and P. Müller and M. Schwerhoff:
Comparing Verification Condition Generation with Symbolic Execution: an Experience Report
Verified Software Theories Tools Experiments (VSTTE), 2012. [PDF] [Slides] [BIB] [Springer-Online]
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet. Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren. Weitere Informationen finden Sie auf
The content in this site is accessible to any browser or Internet device, however, some graphics will display correctly only in the newer versions of Netscape. To get the most out of our site we suggest you upgrade to a newer browser.