Fengmin Zhu

Registered user since Sat 30 Jun 2018

Name:Fengmin Zhu

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.

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


Show activities from other conferences

Using general profile