Research on "Formal Methods in Computing"

(Some) concluded projects

• Network Aware Programming: Objects, Languages, Implementations (NAPOLI, project Cofin'01)
• Constructive Methods in Topology, Algebra, and Program Analysis (Cofin'00)
• Abstract interpretation, type systems, and control-flow analysis (Cofin'00)
• Theory of Concurrency, Higher Order, and Types (TOSCA, Cofin'99)