---

Research Interest

Dr. LIN’s research interests can be classified into two main categories:

• theoretical computer science, and
• practical computer and software engineering

In the theoretical part, he focuses on formal methods including model checking and theorem proving. Currently, he is working on automatic compositional verification techniques to alleviate the state explosion problem with respect to model checking. He is also interested in applying formal methods on program verification and synthesis.

In the practical part, he focuses on embedded system design, multi-core embedded software development, and application framework design on cyber physical systems. He is also interested in applying formal methods on embedded system verification and synthesis.

Research Topics

• Formal Methods
  • Model Checking
  • Theorem Proving
  • Symbolic Execution
  • Compositional Verification
• Programming Language
  • Program Analysis/Verification
  • Program Synthesis
• Quantum Computing
  • Quantum Algorithm Design
  • Quantum Program Verification
  • Quantum Circuit Design/Analysis/Verification
• Blockchain Technology
  • Smart Contract Development
  • Smart Contract Analysis/Verification