faculty
Haiping Xu, PhD
Professor / Chairperson
Computer & Information Science
Contact
508-910-6427
508-999-9144
eur=rj^ppa+bar
Dion 302G
Education
2003 | University of Illinois at Chicago | PhD in Computer Science |
1998 | Wright State University | MS in Computer Science |
1989 | Zhejiang University, China | BS in Electrical Engineering |
Teaching
Programs
Programs
- Artificial Intelligence (AI)
- Computer Networks & Distributed Systems Graduate Certificate
- Computer Science BS, BS/MS
- Computer Science Cybersecurity
- Computer Science Graduate Certificate
- Computer Science MS
- Computer Systems Graduate Certificate
- Data Science BS, BS/MS
- Data Science Graduate Certificate
- Data Science MS
- Engineering and Applied Science PhD
- Mobile Applications Development
- Software Development & Design Graduate Certificate
- Software Engineering
Teaching
Courses
Theoretical basis of the development of computer science. The course details particular formalisms used in the design of hardware and software systems. Intrinsic limitations of computation are described. Advanced topics of automata theory and analysis of algorithms are included. The course also covers Turing machines, the halting problem, models of computation, intractable computations, polynomial reductions, P vs. NP, parallel algorithms, various formal descriptions and specifications of programs and computations, and proofs of program correctness and interactive proof systems.
Prerequisite: Completion of three core courses. Research leading to submission of a formal thesis. This course provides a thesis experience, which offers a student the opportunity to work on a comprehensive research topic in the area of computer science in a scientific manner. Topic to be agreed in consultation with a supervisor. A written thesis must be completed in accordance with the rules of the Graduate School and the College of Engineering. Graded A-F.
Research
Research awards
- $ 457,478 awarded by Office of Naval Research for UMassD MUST IV: Knowledge Augmented Adaptive Learning of Evolving Models for Large Sensor Data Streams
Research
Research interests
- Electronic Commerce, Internet Security, Web Services
- Formal Methods, Model-Based Software Development
- Mobile Agent Systems, Wireless Sensor Networks
- Multi-Agent Systems (MAS), Intelligent Agents
- Peer-to-Peer (P2P) Computing, Ubiquitous Computing