Home

Programming Theory

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.

PUT personnel: