Programming Theory
The Programming Theory group (PUT) focuses on the use of formal theory in understanding programming concepts. We work, for example, on specification and programming languages, on more general software structuring mechanisms and patterns, abstractions for specific domains (GUIs). The group's activities range from theoretical studies to building of support tools to practical software development.
About the research group
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.
People
Group members
Anya Helene Bagge Førsteamanuensis
Marc Bezem Professor Emeritus
Håkon Robbestad Gylterud Associate Professor
Magne Haveraaen Professor
Jaakko Timo Henrik Järvi Professor
Michal Walicki Associate Professor
Uwe Egbert Wolter Associate Professor