연구실 목록
배경민 교수 연구실
Software Verification Lab
포항공과대학교 · 컴퓨터공학과
정보 출처아직 확인되지 않음
소개
형식 기법과 자동 검증을 연구한다. 신뢰할 수 있는 AI와 계산 논리를 기반으로 소프트웨어의 정확성을 보장하는 방법을 다룬다.
연구 키워드
Formal MethodsAutomated VerificationTrustworthy AIComputational Logic
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Security and Verification in Computing
김규헌 교수 연구실
경희대학교 · 전기전자공학과
Evaluating Coding Agents on Kernel Exploit Generation프리프린트arXiv (Cornell University) · 9월 22일알라와미 교수 연구실
한국외국어대학교 · 컴퓨터공학과
DEFEAT: Stitching Fragmented File I/O Contexts for Early Ransomware Detection프리프린트arXiv (Cornell University) · 9월 18일강병훈 교수 연구실
한국과학기술원 · 정보보호대학원
When Valid Tool Calls Change Meaning: Formation-Consistent Dispatch for LLM Agents프리프린트arXiv (Cornell University) · 9월 28일
같은 학과의 다른 연구실
- 고성안 교수 연구실
Data Science, LLMs, Visualization, HCI, Social Computing/Science
- 곽수하 교수 연구실
Computer Vision, Machine Learning, Robotics
- 김광선 교수 연구실
Computer Architecture, AI Accelerator HW/SW, GPU Systems, Memory System
- 김동우 교수 연구실
Machine Learning, Computational Social Science
- 김슬배 교수 연구실
Computer Security, Cyber-physical Systems
- 김원화 교수 연구실
Machine Learning, Computer Vision, Medical Imaging