Our research areas include functional programming, programming languages and systems, and XML and Web technologies. We also concern about social implications of information technologies.

Our works on programming languages and systems focused on language and run-time supports for complex data access. We designed and implemented efficient data representations for various abstract data types in and for functional languages. We provided non-intrusive object introspection in C++, converted Fortran 90 array expressions for parallel sparse executions, and used High Performance Fortran to generate unstructured meshes in parallel. We also built a few systems in Java.

Recently, our works have concentrated on XML (Extensible Markup Language) and Web technologies. We propose a parametric content model for XML DTDs (Document Type Definitions) and construct, automatically, their validation procedures. The model provides a basis for typeful XML programming in ML (a type-safe programming language with high-order functions and parametric modules) and leads to a theory of modular XML transformations. On the more practical side, we have been using XML and related technologies, such as SVG (Scalable Vector Graphics), in a Web-based population mapping system, called Taiwan Social Map, for online aggregation and visualization of census datasets.

We also looked into social implications of information technologies. We addressed privacy, security, and policy issues in utilizing government-controlled civil information systems. We investigated differentiating factors in Internet access. We further used social network analysis to study an increasingly networked society and its online communications.