 |
|
||||||||||
Research
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.
The objective of our research is to create techniques and tools for the development of high-quality software, in particular, provably correct object-oriented programs. To achieve this goal, we study and apply a variety of approaches including program specification and verification, advanced type systems, static analysis, and testing. We are particularly interested in combining different approaches to develop techniques that are powerful and practical.
Our current research projects are centered around the following tools.
Chalice
Automatic verification of concurrent programs
Spec#
Integrating formal verification into mainstream programming
Semper
Verification and static analysis of concurrent Scala programs
Envision
Next generation software development system
Former research projects include:
Heterogeneous Proof-Carrying Components
Proof-Carrying Code for functional correctness properties in multi-language environments
JIVE
Interactive verification of sequential Java programs
Mobius - Mobility, Ubiquity, and Security
Correctness and security of mobile Java code
Universe Type System
Controlling object structures by ownership
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
