Current Research Areas
- Constraint satisfaction techniques for the analysis of urban infrastructure systems.
- Legal information technology.
Past Research Areas
- Software engineering in health care.
- Privacy preserving data mining.
- Regulation of health care information technology.
- Genomic privacy.
- Algorithms (particularly combinatorial).
- Complexity, computability and logic.
- Automata theory.
- Multi-agent systems.
- Artificial intelligence and machine learning.
- Financial systems and market microstructure.