People

Photo: TBD

Bio: TBD

Research Interests: Microarchitecture Security, Co-processor Design, Runtime Security Check.

Email: kejun@ksu.edu

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

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, formal verification 

Email: zxliu@ksu.edu