Name:Niek Mulleners

Country:Netherlands

Affiliation:Utrecht University

Research interests:Type Theory, Dependently Typed Programming, Formal Verification, Program Synthesis