Fengmin Zhu
Master student
Tsinghua University
About Me
I am a master student of software engineering in the Tsinghua formal verification group. Although my topics were concentrated on program synthesis and software engineering, I favor most the theoretical aspects of programming languages (PL). Why PL? It’s fun – the problems, methods, concepts and conclusions! It’s practical – impacts the design of many industry languages, and also the paradigm of software development. To some extent, PL is software “AI”.
Interests
- Type systems & language foundations
- Program synthesis
- Probabilistic programming
- Automated program repair
- Repository mining & merge
- Compiler construction
Education
-
Bachelor in Computer Science & Technology, 2017
Tsinghua University