Research interests
Machine learning and natural language processing for software engineering, including code completion, generation, and summarization, code and comment co-evolution, etc. Software testing and formal verification, including test completion and generation, machine learning for proof engineering, etc.
Biography
Pengyu Nie is Assistant Professor at the University of Waterloo, affiliated with Computer Science. This summary considered 3 collected sources. Listed research or teaching areas include Machine learning and natural language processing for software engineering, including code completion, generation, and summarization, code and comment co-evolution, etc. Software testing and formal verification, including test completion and generation, machine learning for proof engineering, etc..