KOSEN 한인과학기술자네트워크

닫기

더 많은 혜택을 위해
로그인 하세요.

네트워크

네트워크

다양한 연구실 탐방기사 보기
다양한 연구실 탐방기사 보기

정보통신

소프트웨어 검증 연구실

2019-10-17 org.kosen.entty.User@3ba13c28
  • Relaxed Memory Concurrency
  • Semantics of Low-level Languages (LLVM, C/C++, Rust)
  • Software (esp. Compiler) Verification
  • Probabilistic Programs & Bayesian Inference
  • Interactive Theorem Proving
  • Program Logic
  • Programming Language Theory
  • Category Theory

국가

대한민국

소속기관

서울대학교 (학교)

연락처

02-880-1844 https://sf.snu.ac.kr/gil.hur/

책임자

허충길 gil.hur@sf.snu.ac.kr

소속회원 0

목록
목록