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.

PUT personnel: