연구실 홈페이지
New
N
연구자 DB
내 프로필
로그인
회원가입
닫기
배경민
Associate Professor
포항공과대학교 컴퓨터공학과
본인인증
초대하기
프로필
연구 성과
개요
카테고리
컴퓨터
키워드
Software Verification
Automated Reasoning
Computational Logic
Formal Methods
Software Engineering
연구실 이름
Software Verification Lab
학위[2]
University of Illinois at Urbana-Champaign, Urbana, IL
박사 (Doctorate)
Computer Science
2007 - 2014
Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Korea
학사 (Bachelor's)
Computer Science and Mathematics (double major)
2000 - 2004
경력[5]
POSTECH
Department of Computer Science and Engineering
Assistant/Associate professor
2016 - present
SRI International
Computer Science Laboratory
Postdoctoral researcher
2015 - 2016
+ 경력 더보기
수상[4]
#4. Chirag Foundation Fellowship, UIUC, 2007 ~ 2008
#3. Best Paper Award, FACS
2017
+ 수상 더보기
링크
연구실
팔로우 추천
Yelin Kim
팔로우
Junghwan Park
팔로우
Yeonsoo Kim
팔로우
Seongju Lee
팔로우
Seunggi Lee
팔로우