Chinese
English
Associate Research Fellow/Professor  |  Chuang, Tyng-Ruey  
 
contact
vita
education
experience
interests
descriptions
activities
invited_talk
publications
Personal (New window)
 
 
 
 
 
Research Descriptions
 

        Our research areas include functional programming, programming languages and systems, XML and Web technologies, open geospatial information processing, and social implications of information technologies.

        We proposed 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 used XML and related technologies, such as SVG (Scalable Vector Graphics) and GML (Geography Markup Language), to implement novel Web-based geospatial information systems. One of the systems is the Taiwan Social Map, a system for online aggregation and visualization of census datasets, which has been released since 2002. We also devised and implemented an efficient prefiltering technique to process structural queries to large XML documents. We are now looking into research issues in collaborative geospatial mapping.

        We also aim to investigate issues of program correctness and software safety from the perspective of modular software construction. Modern functional languages such as ML have built-in language constructs that support modular programming. However, for software safety properties that go beyond type safety, the modularity of a software system usually plays a less important role. We hope to develop principles and techniques to support module-level verification for ML-like languages.

 
 
bg