School of Electrical and Computer Engineering
Ulsan National Institute of Science and Technology
Republic of Korea
Location: Building 106, Room 401-6
E-mail: jooyong at unist.ac.kr
I am most interested in reasoning about computer programs for practical purposes. Among many practical applications of program reasoning, I am currently focusing on program repair whereby correct program behavior is inferred, based on which the buggy program is automatically fixed through program synthesis. Program repair can ultimately free millions of software developers from debugging tasks which often become a bottleneck in software development. Apart from practical importance, building software that can modify or build itself is also intellectually intriguing. How can we achieve this challenging goal? I believe an answer is in effectively combining logic-driven techniques such as program analysis and data-driven techniques such as machine learning. Here is one last comment. These days, more and more software bugs are found by publicly available bug detection tools, and many of these bugs are related to software security. If we cannot fix them fast enough, is it a good news or a bad news?
Below are research areas I have been working on.
I am looking for PhD students with strong interest in software testing, debugging, and repair. The next application period starts on October 6th, 2020 ([Korean], [English]). We also have a postdoc position available for someone with a strong background in PL/SE and experience in tool building. Please send me an email with your CV if you are interested in joining the group.
Recent Professional Activities
|Tweets by jooyong_yi|