Skip to topic
|
Skip to bottom
IST-15905
Mobius
Home
Objectives
Partners
Workpackages
End User Panel
Scientific Advisory Board
Publications
Deliverables
Links to Related projects
Intranet
Tools
Search
Changes
Start of topic |
Skip to actions
---++ Ludwig-Maximilians-Universität München The chair for Theoretical Computer Science at LMU Munich carries out research in programming languages (semantics, type theory, program logics), complexity theory, and verification (theorem proving, model checking). For the past three years, we have been collaborating with the Mobility and Security group at the University of Edinburgh in the [[http://groups.inf.ed.ac.uk/mrg][Mobile Resource Guarantees]] project, where we developed quantitative type systems and program logics for certifying resource-related properties of Java bytecode programs. In MOBIUS, we coordinate work package 2 (type-based verification), and participate in work packages 1 to 4, 6, and 7. We also participate in the [[http://www.embounded.org][EmBounded]] project, which develops analysis and certification technology for embedded systems. *Contact:* [[http://www.tcs.informatik.uni-muenchen.de/~mhofmann/][Prof Dr Martin Hofmann]]
End of topic
Skip to action links
|
Back to top
r1.3 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Members
>
LudwigMaximilianUniversitat
to top
Ideas, requests, problems regarding the Mobius site