Programming Theory

Warning message

There has not been added a translated version of this content. You can either try searching or go to the "area" home page to see if you can find the information there

Research activities

Programming theory is the study of Computer Programming. At the University of Bergen we focus on the use of mathematical theory (such as logic, formal languages, universal algebra and category theory) in understanding programming concepts. The concepts may be from specification or programming languages, or be more general software structuring mechanisms and patterns. The activity ranges from theoretical studies via building of support tools to practical software development. Much of the activity is focused on algebraic methods, including non-determinism, but we are also working with Java technologies.

Research areas

  • Algebraic specification

    • Partial algebras and other approaches to partiality (guarded algebras, multi-algebras)

    • Multi-algebras as models of non-determinism and generalisation of algebras/co-algebras

  • Logic

    • Logic programming

    • Logic for non-determinism (multi-algebras, power structures)

    • Epistemic logic (multi-agent systems, epistemic events, cryptographic protocols)

    • Proof search, geometric logic

  • Model-Driven Engineering (MDE)

    • Formalisation of concepts in Model-Driven Engineering

    • Modelling and Metamodelling
    • Model transformation

    • Version control of models

  • Programming technologies

    • Java

    • XML