Fengmin Zhu

Registered user since Sat 30 Jun 2018

Name:Fengmin Zhu
Bio:

I’m working with Andreas Zeller in the CISPA Helmholtz Center for Information Security, discovering new ways of solving software engineering (SE) problems (program analysis, testing, debugging, fuzzing, etc.) via formal methods (FM) and programming language (PL) theories. I received my bachelor and master (adviser Fei He) both in Tsinghua University, where my research focus was on program synthesis and software merging.

Country:Germany
Affiliation:CISPA - Helmholtz Center for Information Security
Personal website: https://paulz.me
Research interests:Syntax, Typing & Subtyping, Synthesis, Constraint solving, Testing & Generation, Merging

Contributions