Photograph of Haiping Xu

faculty

Haiping Xu, PhD

Professor / Chairperson

Computer & Information Science

Contact

508-910-6427

508-999-9144

eur=rj^ppa+bar

Dion 302G

Education

2003University of Illinois at ChicagoPhD in Computer Science
1998Wright State UniversityMS in Computer Science
1989Zhejiang University, ChinaBS in Electrical Engineering

Teaching

Programs

Teaching

Courses

Parallelism and distribution of processing; software bus concept; patterns in software design. The course provides an in-depth discussion of the software systems wit multiple processes and of the relationship between concurrency and distribution of processes. The concept of the software bus, the existing standards, and the issues associated with their implementation are covered.

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.

Prerequisites: Completion of three core courses.   Development of a detailed, significant project in computer science under the close supervision of a faculty member, perhaps as one member of a student team. This project may be a software implementation, a design effort, or a theoretical or practical written analysis. Project report with optional oral presentation must be evaluated by three faculty members including the project supervisor.  

Prerequisites: Completion of three core courses.   Development of a detailed, significant project in computer science under the close supervision of a faculty member, perhaps as one member of a student team. This project may be a software implementation, a design effort, or a theoretical or practical written analysis. Project report with optional oral presentation must be evaluated by three faculty members including the project supervisor.  

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.

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.

Prerequisite: Graduate standing; approval by advisor, graduate program director and department chairperson. Experiential learning in conjunction with an industrial or governmental agency project under the joint supervision of an outside sponsor and a faculty advisor. To be eligible, a student should have completed at least half of his/her program of study. A detailed project proposal must be prepared by the student for departmental approval prior to the start of the project. Upon completion, student must submit a report on the experience and make a short presentation to his/her graduate committee. This course may be used to satisfy one 3-credit graduate technical elective course.

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

Additional links