Home

Programming Theory

Main content

Joseph Young explaining the Aurochs system

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.

More information on the PUT group.

Bergen Language Design Laboratory.

Logic and Learning.

PUT personnel: