NUS PLSE - Programming Languages & Software Engineering @ NUS
VERSE Lab | Verified Systems Engineering @ NUS
I am a third-year PhD student at the School of Computing , National University of Singapore (NUS), working with Prof. Ilya Sergey . I am currently interested in developing program synthesis tools that involve tree automata to improve code inspections, language design, and code refactoring.
Prior to PhD, I was a Research Intern at NUS School of Computing since March, 2019. I have Master of Science in Energy Systems from Skolkovo Institute of Science and Technology , and Bachelor of Science in Finance and Mathematics from New York University .
subscribe via RSS
NUS PLSE - Programming Languages & Software Engineering @ NUS
VERSE Lab | Verified Systems Engineering @ NUS