![Sylvia Grewe](https://conf.researchr.org/getProfileImage/sylviagrewe/2689ca88-3a63-46a8-bc67-f79c6f1e915e/small.jpg?1711537491000)
Registered user since Mon 17 Aug 2015
Name:Sylvia Grewe
Country:Germany
Affiliation:TU Darmstadt
Personal website: http://www.stg.tu-darmstadt.de/staff/sylvia_grewe/sylvia_grewe.en.jsp
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
SPLASH 2016-profile
View general profile
View general profile