I am running a mini academic group called VAST, named after Verification And Software Technology, within our BASICS lab. All research conducted in our group revolves around formal verification, a comprehensive mathematically rigorous methodology for safety-critical systems. Specifically, we carry out formal verification on programming languages, intelligent systems, and knowledge bases.
Furthermore, we actively seek candidates with an interest in theoretical computer science and AI for sciences. The current ongoing projects are introduced as follows: |
FM4ZK: Formal Verification for ZKP Circuit Programming
ZK4FM, ZK4LLM
Dependable ZK Virtual Machine
Reference
Representative projects
Recent contribution in group
Verification and Security for Non-Uniform Robustness of Deep Neural Networks
Formal Verification on Homogeneous Structural Deep Neural Networks
Reference
Representative projects
Recent contribution in group
Knowledge Argumented Logic System (KALOS) in Vertical Domains
Solving Computationally Intractable Problems in LLM
Trustworthy Multi-Model Collaborative Work Platform
Reference
Representative projects
Recent contribution in group
Guoqiang Li
Last modified: Sunday, Aug. 25, 2024.