Photograph of Haiping Xu

Haiping Xu, PhD

Professor / Chairperson

Computer & Information Science

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

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.

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

External links

Latest from Haiping

Request edits to your profile