Education
- B.S., Mathematics and Applied Mathematics, Southwestern University of Finance and Economics
- B.Econ., Finance, Southwestern University of Finance and Economics
Lichuan Deng is a Ph.D. student in the Department of Computer Science at Iowa State University, working under the guidance of Dr. Gianfranco Ciardo and Dr. Andrew Miner. His research centers on the innovative application of formal methods to verify complex system models. He is particularly passionate about leveraging next-generation binary decision diagrams and relative methodologies, advancing foundational verification tools, and exploring core theoretical concepts that enable effective state-space compression.