| layout | title |
|---|---|
article |
PLRG @ Korea University |
Welcome to Programming Language Research Group (PLRG) at Korea University! {:.success}
Our research goal is to help developers design and implement high-quality software using diverse programming language technologies.
Especially our research interests are as follows:
- program analysis for automatically understanding program behaviors and detecting bugs and vulnerabilities.
- mechanized specification to fill the gap between human-readable specifications and machine-friendly software.
- program synthesis to lessen the burden of software development by automatically generating programs.
- automated testing to generate test cases for software automatically on behalf of humans.
We are actively recruiting motivated graduate/undergraduate students and postdocs. For more detailed information, please see Research and Publications.
Room 609A, Science Library Bldg
College of Informatics
Korea University
Anam-dong 5-ga, Seongbuk-gu
Seoul 136-713, Korea
(office) +82) 02-3290-4602
{% assign author=site.data.authors["Jihyeok Park"] %}
{% include author-links.html author=author %}