Junbo Liu

• Research
  • Language:
    Extentioins of functional/logic specification and programming languages, like higher-order extensions, multi-logic extensions.

    Development:

    Methodologies of software development based on formal methods.

    System:

    Interactive systems for supporting software development based on formal methods.
• Projects
  • PROSPECTRA:
    PROgram development by SPECification and TRAnsformation (completed)

    KORSO: Correct Software (completed)

    COMPASS:

    A COMPrehensive Algebraic approach to System Specification and development
• Publications
  List of publications by clicking here.