연구실 목록
김지응 교수 연구실
Formal Computing and AI Lab (FCAI)
대학원생 모집 중
연세대학교 · 컴퓨터과학과
정보 출처아직 확인되지 않음
교수 소개
김지응 교수
교수 홈페이지·논문소개
김지응 교수 연구실(FCAI, Formal Computing and AI Lab)은 연세대 컴퓨터과학과 소속으로, 프로그래밍 언어 이론과 증명 이론에 기반한 정형 검증을 활용해 소프트웨어와 신경망의 취약점을 줄이는 연구를 수행한다. 'Software 2.0'과 앰비언트 컴퓨팅의 신뢰성 확보를 목표로 한다.
연구 키워드
프로그래밍 언어 이론정형 검증시스템 소프트웨어 신뢰성인공신경망 신뢰성
대표 논문
- CRIS: The Power of Imagination in Hybrid VerificationPLDI · 2026
- ReCraft: Self-Contained Split, Merge, and Membership Change of Raft ProtocolDSN · 2025
- LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness ProofsPLDI · 2024
- AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed ObjectsOOPSLA · 2024
- ThreadAbs: A Template for Building Verified Thread-local Interfaces with Software Scheduler AbstractionsJournal of Systems Architecture, Volume 147 · 2024
- SimplMM: A Simplified and Abstract Multicore Hardware Model for Large Scale System Software Formal VerificationJournal of Systems Architecture, Volume 147 · 2024
같은 학과의 다른 연구실
- 강민석 교수 연구실모집 중
데이터 시각화, AI 안전 및 윤리, 휴먼-컴퓨터 인터랙션, 인간 중심 AI
- 김대현 교수 연구실모집 중
휴먼-컴퓨터 인터랙션, 휴먼-데이터 인터랙션, 휴먼-AI 인터랙션, 데이터 시각화, 멀티모달 인터랙션, 메타버스
- 박광현 교수 연구실모집 중
데이터 중심 인공지능, DBMS for ML lifecycle, ML 기반 DBMS 최적화, 빅데이터 시스템, 클라우드 시스템, 하드웨어-데이터 플랫폼 co-design
- 박영준 교수 연구실모집 중
딥러닝 컴파일러, GPU/NPU/PIM 대상 시스템 SW 최적화 (컴파일러, 런타임), 인공지능 가속기 설계 및 컴파일러 지원
- 송도경 교수 연구실모집 중
시스템 보안, 운영체제 보안, 바이너리 역공학, 프로그램 분석, 기밀 컴퓨팅
- 안형찬 교수 연구실모집 중
알고리즘 설계, 조합 최적화, 근사 알고리즘, 온라인 알고리즘, 이론 컴퓨터과학, 최적화 기법 응용