Xiang Fu

Associate Professor of Computer Science

OFFICE
Adams Hall 202

VOICE
(516) 463-4787

Send an Email

Personal Web Site

Degrees

PHD, 2004, Univ Calif Santa Barbara; BS, 1999, Fudan Univ

Bio

Field of Study: Computer Science

Research Interests: Software Engineering, Formal Verification, Model Checking, Information Security, Web Services, Web Security, Malware Analysis

Previous Teaching Specialization:

Associate Professor, Department of Computer Science, Hofstra University, 09/2011 - present

Assistant Professor, Department of Computer Science, Hofstra University, 09/2008 - 08/2011

Assistant Professor, School of Computer and Information Systems, Georgia Southwestern State University, 08/2004 - 06/2008

Teaching Assistant, University of California, Santa Barbara, 09/99 - 01/01

Teaching Interests

I am a firm believer of the hands-on project oriented teaching methodology. A computer science faculty should not only help students build up the knowledge base of the subject, but also set up the challenging environment for them to practice their skills, team working spirits, and the ability to solve problems independently. During my past years at GSW and Hofstra, I have supervised nine (9) Master’s thesis/capstone projects, seven (7) undergraduate capstone projects, and designed over twenty (20) new course projects. The challenging yet doable projects well prepared my students for the competitive IT job market. I have taught CS courses at both undergraduate and graduate levels, including CSI, software engineering, computer security, web application development, operating systems, computer architecture, computer networks, computer organization, concepts of programming languages and distributed systems.

Research Interests

My research lies in the general area of software engineering, with an emphasis on automated verification and testing. The purpose of my research is to develop theories and techniques for verifying and validating the functionality, reliability, and security of software systems. My interests include but are not limited to model checking, symbolic execution, realizability analysis, predicate abstraction, automated testing, study of asynchronously communicating state machines, Web Services, and Workflow systems. Recently, my primary focus has been the application of static analyses to automated scanning of Web application vulnerabilities such as SQL injection, Cross-Site Scripting attack, and AJAX security holes.

Recent Courses Taught

Course	Title	Level
CSC 017	(MC) FUNDAMENTALS OF CSC III	Undergraduate
CSC 112	COMP OPERATNG SYSTEM	Undergraduate
CSC 115	INTRO SEC SYS/ETHICAL HACKING	Undergraduate
CSC 143F	INP STDY PROJECT: SECURITY	Undergraduate
CSC 145W	INTRO WEB APP DEVELOPMENT	Undergraduate
CSC 190	SOFTWARE ENGINEERING	Undergraduate
CSC 200A	THEMES OF CSC	Graduate
CSC 215	SECURE SYSTEMS/ETHICAL HACKING	Graduate
CSC 256	ADV OPERATING SYSTEMS DESIGN	Graduate
CSC 283	WEB APPLICATION DEVELOPMENT	Graduate
CSC 301	THESIS BACKGROUND RESEARCH	Graduate
CSC 302	THESIS	Graduate
CSC 303	GRADUATE CAPSTONE PROJECT	Graduate