• 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