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: |

**V4ZK: Formal Verification for ZKP Circuit Programming **

**ZK4V: Proving Formal Verification Algorithms in Zero Knowledge**

**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
*