Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

University of Birmingham
School of Computer Science

Address Edgbaston
Birmingham B15 2TT
Großbritannien

Birmingham B15 2TT

Projects

Research Grants
- Current projects
  - Abstract Techniques for Programming Languages and Secure Compilation
    (Applicants Goncharov, Sergey ; Tsampas, Stelios )
  - Higher-Order Monad-based Programming and Reasoning
    (Applicant Goncharov, Sergey )
- Completed projects
  - A High Level Language for Monad-based Processes
    (Applicants Goncharov, Sergey ; Schröder, Lutz )

© 2026 DFG Disclaimer / Copyright / Privacy Policy