Lab directory
Formal Computing and AI Lab (FCAI)
Formal Computing and AI Lab (FCAI)
Recruiting grad students
Yonsei University · Computer Science
Information sourcenot verified yet
Professor
Prof. 김지응
Professor's page · publicationsAbout
김지응 교수 연구실(FCAI, Formal Computing and AI Lab)은 연세대 컴퓨터과학과 소속으로, 프로그래밍 언어 이론과 증명 이론에 기반한 정형 검증을 활용해 소프트웨어와 신경망의 취약점을 줄이는 연구를 수행한다. 'Software 2.0'과 앰비언트 컴퓨팅의 신뢰성 확보를 목표로 한다.
Research keywords
프로그래밍 언어 이론정형 검증시스템 소프트웨어 신뢰성인공신경망 신뢰성
Selected publications
- 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
Other labs in this department
- Human-Data Interaction LabRecruiting
Min-Suk Kang
데이터 시각화, AI 안전 및 윤리, 휴먼-컴퓨터 인터랙션, 인간 중심 AI
- Human-Data Interaction Lab (HDIL)Recruiting
Dae-Hyun Kim
휴먼-컴퓨터 인터랙션, 휴먼-데이터 인터랙션, 휴먼-AI 인터랙션, 데이터 시각화, 멀티모달 인터랙션, 메타버스
- Big Data Systems & Artificial Intelligence Lab (BDAI)Recruiting
Kwang-Hyun Park
데이터 중심 인공지능, DBMS for ML lifecycle, ML 기반 DBMS 최적화, 빅데이터 시스템, 클라우드 시스템, 하드웨어-데이터 플랫폼 co-design
- Application-aware System Optimization Lab (ASO)Recruiting
Young-Joon Park
딥러닝 컴파일러, GPU/NPU/PIM 대상 시스템 SW 최적화 (컴파일러, 런타임), 인공지능 가속기 설계 및 컴파일러 지원
- Secure Systems Lab (SSLab)Recruiting
Do-Kyoung Song
시스템 보안, 운영체제 보안, 바이너리 역공학, 프로그램 분석, 기밀 컴퓨팅
- 안형찬 교수 연구실Recruiting
Hyung-Chan An
알고리즘 설계, 조합 최적화, 근사 알고리즘, 온라인 알고리즘, 이론 컴퓨터과학, 최적화 기법 응용