• Concepts and Design
    • Involved in specification langauges desing such as SPECTRAL
    • Proposed in the thesis structured specification constructions for higher-order logic based meta-language and multi-logic systems
  • Semantics
    • Studied combination of temporal logic and algebraic specifications
    • Studied abstract model theory based on institutions
  • Practical Expierence
    • Specification Languages: PAnndA-S, SPECTRAL, SPECTRUM, Z, StateCharts, CSP
    • Semantic Analysis of various High-Level Programming language