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:
- Assoc. Prof. Anya Bagge
- Prof. Marc Bezem
- Researcher Håkon Gylterud
- Prof. Magne Haveraaen
- Prof. Jaakko Järvi
- Assoc. Prof. Ana Ozaki
- Assoc. Prof. Michal Walicki
- Assoc. Prof. Uwe Wolter