Software Verification Lab
Software Verification Lab
POSTECH · Computer Science and Engineering
About
형식 기법과 자동 검증을 연구한다. 신뢰할 수 있는 AI와 계산 논리를 기반으로 소프트웨어의 정확성을 보장하는 방법을 다룬다.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Security and Verification in Computing
Kyuheon Kim
Kyung Hee University · Electrical and Electronic Engineering
Evaluating Coding Agents on Kernel Exploit GenerationPreprintarXiv (Cornell University) · Sep 22알라와미 교수 연구실
Hankuk University of Foreign Studies · Computer Science and Engineering
DEFEAT: Stitching Fragmented File I/O Contexts for Early Ransomware DetectionPreprintarXiv (Cornell University) · Sep 18Software Security Lab
KAIST · Graduate School of Information Security
When Valid Tool Calls Change Meaning: Formation-Consistent Dispatch for LLM AgentsPreprintarXiv (Cornell University) · Sep 28
Other labs in this department
- Human-AI Interaction and Visualization Lab
Sung Ahn Ko
Data Science, LLMs, Visualization, HCI, Social Computing/Science
- Computer Vision Lab
Suha Kwak
Computer Vision, Machine Learning, Robotics
- Parallel System Architecture Lab
Kwang-sun Kim
Computer Architecture, AI Accelerator HW/SW, GPU Systems, Memory System
- Machine Learning Lab
Dongwoo Kim
Machine Learning, Computational Social Science
- Computer Security Lab
Seulbae Kim
Computer Security, Cyber-physical Systems
- Medical Information Processing Lab
Wonhwa Kim
Machine Learning, Computer Vision, Medical Imaging