People

Research Interests: modern compilers, computer architecture, hardware formal verification, Satisfiability Modulo 

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: Hardware Security, Information Flow Tracking 

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.