Dr. Xiang Fu earned a B.S. in Computer Science from
Fudan University in 1999 and a Ph.D. in Computer Science at University of
California, Santa Barbara in 2004. From 2004 to 2008, he was an assistant
professor with the School of Computer and Information Sciences,
Georgia Southwestern State University.
At present, he is an assistant professor in the department of
Computer Science, Hofstra University.
Dr. Fu's research lies in the general area of software engineering, with an emphasis on automated verification and testing.
His work appeared in renowned journals such as Theoretical Computer Science,
IEEE Transactions of Software Engineering, and IEEE Internet Computing.
He also publishes in top software engineering and Web engineering conferences
such as Computer Aided Verification (CAV),
International Symposium on Software Testing and Analysis (ISSTA),
International World Wide Web Conference (WWW). Recently his research
interests have broadened to computer security. He is currently investigating
the use of static analysis techniques, e.g., symbolic execution,
to assuring security of software systems.