People
PhD. Students
Weimin Fu
Bio: Weimin Fu completed his B.S. degree from Zhejiang University and his M.S. degree from George Washington University. His current research is focused on hardware security. He is interested in modern compilers, computer architecture, hardware formal verification, and Satisfiability Modulo Theories.
Research Interests: large language model, modern compilers, computer architecture, hardware formal verification, Satisfiability Modulo
Email: weiminf@ksu.edu
Zhaoxiang Liu
Bio: Zhaoxiang Liu received his bachelor degree from University of Electronic Science and Technology of China and master degree from Rutgers University. His current projects include IFT and Logic Locking.
Research Interests: Hardware Security, Information Flow Tracking
Research Interests: Hardware Security, Information Flow Tracking, formal verification
Email: zxliu@ksu.edu
Kejun Chen
Photo: TBD
Bio: TBD
Research Interests: Microarchitecture Security, Co-processor Design, Runtime Security Check.
Email: kejun@ksu.edu
