 |
|
||||||||||
About us
Open Positions
We are recruiting PhD students in program verification, programming languages, and programming environments. Check out the job descriptions.
Our Mailing List
If you are interested in our activities, you can subscribe to the PMInterest mailing list.
Available Student Projects
Our group offers many different topics for Master's theses, Bachelor's theses, and Research in Computer Science Projects.
Research and teaching of our group focuses on object-oriented programming including programming languages, programming methodology, and software development tools. The emphasis of our current research activities is on:
- Specification of object-oriented programs
- Automatic and interactive program verification
- Ownership and alias control
- Type systems and inference
- Proof-carrying code for functional correctness properties
- Modularity of programs, specifications, and proofs
- Tool support for all of the above topics
The common objective of exploring these areas is to create techniques and tools for the development of provably correct object-oriented software components.
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
