Focus Areas: Program Analysis, Software Engineering, Deep Learning
Ke Wang joined Visa Research in August, 2018 immediately after completing his PhD in Computer Science from University of California, Davis. He received his MSc and BSc degrees in Computer Science from Imperial College London and Birmingham City University, respectively. His primary research interests lie in the cross-disciplinary areas of artificial intelligence, deep learning, program languages and education. He was a summer research intern at Microsoft Research Redmond in 2016 and 2017. His research has been published in top venues in artificial intelligence (IJCAI), deep learning (ICLR), and programming languages (PLDI). His work on automated feedback generation for programming exercises has been in production use in the Microsoft C# (Microsoft-DEV204.1X) and Python (Microsoft-DEV330x) edX class, benefiting tens of thousands of online students. He was awarded an Honorable Mention for Outstanding Graduate Research in Computer Science at UC Davis. He also has industrial experience at Facebook and Siemens Corporate Technology/Research.
Ke Wang, Rishabh Singh and Zhendong Su. Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises. ACM SIGPLAN Conference on Programming Language Design and Implementation, Philadelphia, June 2018
Ke Wang, Rishabh Singh and Zhendong Su. Dynamic Neural Program Embedding for Program Repair. International Conference on Learning Representations, Vancouver, April 2018.
Ke Wang, Benjamin Lin, Bjorn Rettig, Paul Pardi and Rishabh Singh. Data-Driven Feedback Generator for Online Programming Courses . ACM Conference on Learning @ Scale, Cambridge, April 2017.
Ke Wang and Zhendong Su. Dimensionally Guided Synthesis of Mathematical Word Problems. International Joint Conference on Artificial Intelligence, New York City, July 2016.
Ke Wang and Zhendong Su. Automated Geometry Theorem Proving for HumanReadable Proofs. International Joint Conference on Artificial Intelligence, Buenos Aires, July 2015.
Ke Wang and Zhendong Su. Automatic Generation of Raven's Progressive Matrices. International Joint Conference on Artificial Intelligence, Buenos Aires, July 2015.