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”.
Bachelor in Computer Science & Technology, 2017