Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Microsoft Research Ltd.

Address 21 Station Road
Cambridge CB1 2FB
Großbritannien

Cambridge CB1 2FB

Projects

Research Grants
- Completed projects
  - Algebraic Calculi for Separation Logic
    (Applicant Möller, Bernhard )
  - Von Artmerkmalen zur Walddynamik - Ein Nischendetektor für hyperdiverse Tropenwälder
    (Applicant Rüger, Nadja )
Research Training Groups
- Completed projects
  - GRK 1480: Programme and Model Analysis
    (Spokesperson Seidl, Helmut )

© 2024 DFG Disclaimer / Copyright / Privacy Policy