Write a Blog >>
GPCE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Sylvia Grewe

Registered user since Mon 17 Aug 2015

Name:Sylvia Grewe
Country:Germany
Affiliation:TU Darmstadt
Research interests:type systems and type theory, formal verification of type systems, proof assistants (Isabelle/HOL and Coq) and automated theorem provers, functional programming languages

Contributions

Show activities from other conferences

SPLASH 2016-profile
View general profile