Home

Welcome to Software Foundations Laboratory!

News

  • Our technique “Lightweight Verification of Separate Compilation” has been applied to CompCert 2.7.
    See here for more details.

Research

Our research focuses on theoretically interesting software problems that are also practically useful.
Please see below for the details of our current projects.

People

Contact us

Professor: Room 407 Bldg 301, TEL: 02-880-1844
Students: Room 416 Bldg 301, TEL: 02-880-4165

Department of Computer Science and Engineering
Seoul National University
1 Gwanak-ro, Gwanak-gu Seoul 151-744
Republic of Korea