|
ETH Zürich
Phone: +41 44 632 45 50 |
I moved to LRI at Paris/Orsay !!!
My research interests are focussed in the area of Software Engineering
and range from formal specification techniques, their transition
to code, and specification-based techniques to test systems.
This comprises activities in the representation of specification languages
by means of logical embeddings in Isabelle, of the development of specialized
tool-support for theorem proving, of refinement techniques or
code-compilation, and of automated techniques to generate tests from
specifications and programs. My interest in tool development also covers
tool-integration aspects and the design of appropriate user-interfaces.
I have a longstanding interest in the application of verification techniques
in the field of computer security.
Tutorials
Teaching
Wichtiger Hinweis:
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
folgender
Seite.
Important Note:
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.
More
information