Cyber-physical computing, wireless sensor networks, new models for computation, programming paradigms for deeply embedded systems, ubiquitous computing, feasible-region calculus, embedded and real-time systems, ad hoc wireless networks.

Compilers, software reliability, performance analysis, and computer architecture.

Artificial intelligence, knowledge representation (e.g., logical or probabilistic), automated reasoning, learning, autonomous-agent architectures, graph algorithms, and applications of these to real-world problems.

Numerical analysis and scientific computing, with applications in statistical mechanics, and biochemistry. Understanding methods that bridge the temporal and spatial scales in multiscale biomolecular modeling using techniques from geometric integration and adaptive finite element methods.

Wide area networks and networked systems. Internet routing, measurement, and protocols. Simplifying management of distributed systems and networks through principles of self-organization and self-diagnosis, with an emphasis on next-generation Internet architectures.

Large-scale information access and data management, including databases, information integration, Internet information access, data mining, and ranked top-k query processing.

Artificial intelligence

Computational linguistics, computer vision.

Compilers, hardware and software interaction, computer architecture.

My interests are in high performance scientific computing, with particular emphasis on parallel computing. My major projects involve developing the message passing interface (MPI) and hierarchical numerical methods for the numerical solution of partial differential equations.

Software engineering, programming languages, and formal methods.

Knowledge discovery and data mining; database systems; data warehousing; information network analysis; spatiotemporal data analysis; stream data mining; Web, multimedia and biological data mining; and multidimensional data analysis.
 

Artificial intelligence, information systems, HCI, software engineering.

Scientific computing and parallel computing.

Computational linguistics and/or natural language processing, computational biology.

Operations research with a particular focus on applied probability, discrete event computer simulation (analysis and modeling), and discrete optimization (analysis and heuristics).

Numerical, parallel and scientific computing, and operating systems.

Human-Computer interfaces.

Mobile Computing and Communications.

Software engineering and programming languages: improving software reliability, software testing, theorem proving, model checking, rich specification languages, compilers (correctness of program analyses and optimizations).

Networking and distributed systems

Design, semantics and implementation of programming and specification languages; software engineering and formal methods; runtime verification and monitoring; automated reasoning, applications of logics, theorem proving, term rewriting; and algorithms, (co)algebra, category theory.

Distributed real-time computing systems, dynamic real-time architecture, QoS driven resource management and security and fault tolerance in networked embedded systems.

Large scale parallel and distributed systems; parallel computer architecture; and parallel programming.

Computer architecture, compiler construction, dynamic optimization, and computer science/engineering education.