UNIST 컴퓨터공학과 홍재민 - 김박사넷

오픈랩 정보는 PI가 직접 입력한 정보입니다.

최근 업데이트 날짜: 2026년 5월 11일

지금 연구실 모집중이에요!

대학원생 박사후연구원 학부생인턴

대학원생, 박사후연구원, 학부생인턴 모집여부를 등록하려면?

연구실 소개

프로그래밍 언어 연구실에서는 프로그래밍 언어와 소프트웨어 공학에 관심 있는 학생들을 모집하고 있습니다.

본 연구실의 목표는 소프트웨어를 더 신뢰 가능하고 안전하게 만드는 기술을 개발하는 것입니다. 이를 위해 프로그래밍 언어 이론에 기반하여 실제 소프트웨어 문제를 해결하는 연구를 진행합니다. 대표적으로, 정적 분석을 통해 오래된 소프트웨어를 최신 프로그래밍 언어로 전환하고, LLM이 생성한 코드의 올바름을 자동으로 검증하는 연구를 수행합니다.
연구분야 키워드
- #소프트웨어 공학
- #프로그래밍 언어
- #프로그램 검증
- #프로그램 분석
연구실 지원 방법

jaemin.hong@unist.ac.kr로 CV와 연구 관심사에 대한 간략한 설명을 보내 주세요.

오픈랩 정보는 어떻게 등록할 수 있나요?

연구실(PI) 홍보 게시판 최신 글

SCIE 논문 정보

김박사넷에 로그인하고 더 많은 기능을 이용해 보세요!

1. 동일계열 연구실과 SCIE논문 정보를 비교할 수 있어요.
2. 연구실에서 나온 논문목록을 찾아볼 수 있어요.
3. 논문 기반으로 찾은 연구실 키워드를 열람할 수 있어요.
4. 교수/연구원 즐겨찾기 기능으로 알람을 받을 수 있어요.

연관 정보

교수

학과채널

UNIST

컴퓨터공학과

단과대학, 학과별 모집정보/이벤트 홍보는 광고 문의를 이용해 주세요.

김박사넷 커뮤니티에 참여해 보세요.
뉴턴이 그랬듯이 더 멀리 바라볼 수 있을 거예요.

특정 게시물 또는 댓글에 댓글알람 설정을 할 수 있어요!

쪽지를 보내 이야기할 수 있어요!

중요한 게시물을 스크랩할 수 있어요.

게시글의 모든 댓글을 읽을 수 있어요.

확인