AST 2023
Mon 15 - Tue 16 May 2023 Melbourne, Australia
co-located with ICSE 2023
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, Testing & Generation, Merging

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile