Theory and Formal Methods Lab.



Developing "safe" systems assuring reliability and correctness by performing researches on the theories of formal logic and formal methods based on them.

Research Areas

Foundations of Computational Logic
Set theories, temporal logic, automata theories, intuitionistic logic, and process algebrae, etc.

Formal Specification
Specifying requirements and/or designs, using various languages/tools (StateMate, Esterel, SCADE, UML etc) based on formal, mathematical logic

Formal Verification
Proving conformance between requirements, designs, and implementations, by model checking and theorem proving, etc.

Certification Processes
Common Criteria, DO-178B, testing and simulations, software life-cycle

Secure Software Engineering
Secure Coding, Secure Software Development Lifecycles, etc.


  • Postal Mail: Aegineung Cafeteria 108, 145, Anam-ro, Seongbuk-gu, Seoul, 136-713 (ROK)
  • Phone: +82-2-3290-3575
  • FAX: +82-2-929-8681

  • SNS

  • Facebook Group
  • Yammer

  • ©all rights reserved