|
|
Prof. Uwe Nestmann @ TU Berlin |
|
|
|
|
|
| 10/03-09/06 (responsible) |
Theory and Tool Support for the Formal Verification of
Cryptographic Protocols Swiss National Science Foundation, No. 200020-101720.1 |
| 10/02-09/05 (responsible) |
Semantics-Guided Design and Implementation for Group Communication Middleware Hasler Foundation, DICS No. 1825 (with Prof. A. Schiper and Dr. P. Wojciechowski) |
| 10/02-09/05 (responsible) |
Semantics-Guided Design and Implementation for Group Communication Middleware Swiss National Science Foundation, No. 2100-067715.02 (with Prof. A. Schiper and Dr. P. Wojciechowski) |
| 01/02-12/04 (EPFL partner manager) |
PEPITO: PEer-to-Peer Implementation and TheOry EU-project, FET-initiative on "Global Computing", No. IST-2001-33234 (with Prof. R. Guerraoui and Prof. M. Odersky) (with partners in Sweden, Belgium, France, and the UK) |
| 01/02-12/03 (responsible) |
Semantics-Guided Design and Implementation for Group Communication Middleware EPFL seed project (with Prof. A. Schiper and Dr. P. Wojciechowski) |
| 10/01-09/03 (responsible) |
Theory and Tool Support for the Formal Verification of
Cryptographic Protocols Swiss National Science Foundation, No. 21-65180.1 |
| 01/97-09/97 (researcher, responsible) |
ERCIM Post-Doc Programme Fellowship Projet PARA @ INRIA Rocquencourt (also Database Reasearch Group @ ETH Zürich) |
| 01/96-06/96 (researcher, responsible) |
On Determinacy and Nondeterminacy in Concurrent Programming DAAD Hochschulsonderprogramm (HSP II-AUFE): doctoral grant for sabbatical at Projet MEIJE @ INRIA Sophia-Antipolis |
| 01/92-06/95 (researcher, responsible) |
Mathematical Foundations for the Refinement of Distributed Systems
DAAD Anglo-German Research Collaboration (ARC): bilateral exchange project between IMMD Erlangen and LFCS Edinburgh |
| 01/89-12/98 (tutor, researcher) |
Specification and Verification of Distributed Systems
DFG Sonderforschungsbereich (SFB) 182, project C2 |