링크가 복사되었습니다!
교수님 소개
이메일이 복사되었습니다
연구실 소개
프로그래밍 시스템 연구실은 안전하고 믿을만한 소프트웨어를 손쉽게 만드는데 필요한 차세대 기술을 연구한다. 소프트웨어의 심각한 오류를 자동으로 검출하고 고치는 기술, 용도에 알맞게 프로그램을 자동으로 변형하거나 생성하는 기술, 더욱 더 편리하고 사용자 친화적인 프로그래밍 환경 등을 연구한다. 또한 이러한 기술의 근간이 되는 프로그래밍 언어 및 분석 이론과 인공지능 기법을 탐구하고 설계한다.
연구실 키워드
하이 임팩트 태그
연구 키워드
알럼나이가 간 회사
연구실 지원 방법
대학원 지원 일정·절차는 소속 대학·대학원 및 학과(전공)마다 다릅니다. 해당 학교의 대학원 모집 공지와 지원 안내를 먼저 확인해 주세요. 연구실별로 필요 서류, 면접·과제 제출, 합격 후 입학 절차 등은 교수님 또는 연구실 안내에 따릅니다.
대우 조건
*가방끈 AI가 정리한 연구성과로 최신 연구실 정보로 업데이트를 원하시는 분들은 [수정 요청] 아이콘을 클릭해주세요
연도별 논문 인용수
인용 수
누적 수
저널 & 학회 논문 출판 수
인용 50회 미만
인용 50회 이상
연구실 논문 목록
Safeguarding mobile gui agent via logic-based action verification
2025 venue에 대한 데이터가 없습니다
Citation7
Optimization-Directed Compiler Fuzzing for Continuous Translation Validation
2025 venue에 대한 데이터가 없습니다
Citation3
UnitCon: Synthesizing Targeted Unit Tests for Java Runtime Exceptions
2025 venue에 대한 데이터가 없습니다
citation_count에 대한 데이터가 없습니다
연구실 보유 특허
최근 3년간 연구실적 높은 연구실
