Blogs (9) >>
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Sylvia Grewe

Registered user since Mon 17 Aug 2015

Name: Sylvia Grewe

Country: Germany

Affiliation: TU Darmstadt

Personal website:

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

SPLASH 2016 Activities

SPLASH 2016-profile
View general profile