Project Details
Person
Privatdozent Dr.-Ing. Sergey Goncharov
Address
Friedrich-Alexander-Universität Erlangen-Nürnberg
Department Informatik
Lehrstuhl Informatik 8 - Theoretische Informatik
Martenstraße 3
91058 Erlangen
-
As Applicant
-
Current projects
-
Higher-Order Monad-based Programming and Reasoning (Research Grants)
-
Abstract Techniques for Programming Languages and Secure Compilation (Research Grants)
-
-
Completed projects
-
A High Level Language for Monad-based Processes (Research Grants)
-
-
Current projects
