Tam Thanh Truong's picture

Tam Thanh Truong

PhD Candidate
  • E-mailTam.Truong@uib.no
  • Visitor Address
    HIB - Thormøhlens gate 55
    5006 Bergen
  • Postal Address
    Postboks 7803
    5020 Bergen

Since the beginning of computer science, developing high-quality software at low cost has been a continuous vision. With the increase of powerful computers entwined in many vital parts of society, however, there is a need for better approaches to designing and developing reliable software. In my field of Formal Specifications, we use the language of mathematics to provide such approaches: The field presents various techniques to describe and reason about software in a formal and rigorous way.

The latest trend in software engineering regards models as first-class entities of the development process. This has led to a branch which promotes modelling as the main activity of software development and pursues the shift of paradigm from code-centric to model-centric. The different kinds of models, exploited in software engineering, appear as different kinds of diagrams, i.e., graph-based structures.

In the last decade the Diagram Predicate Framework (DPF) has been developed in Bergen to describe the different kinds of diagrams in a uniform way, thus providing a formal ground to relate and integrate different diagrammatic modelling techniques and to define and implement meta-modelling and model transformations, for example.

My doctoral project is to build upon this, adding a strong mathematical foundation. This will be done with the recently introduced concepts of graph algebras and graph term algebras which generalises concepts well-known in Universal Algebra. By analysing the practical needs in Diagrammatic Modelling, the appropriate constructions and results should be generalised and further developed in this new setting of graph algebras.

Academic lecture
  • Show author(s) (2022). Algebras and Graph Algebras.

More information in national current research information system (CRIStin)