|
The construction of reliable software is the central research issue at the department of Software Technology. For this purpose we use programming methods,
languages, and tools both for education as well as research. We insist on proper theoretical foundations on the one hand and practical usefulness on the other hand. We have a close collaboration with the Foundations
department. Practical applications are developed and studied in collaboration with industry. The department is well-known worldwide for the functional programming language Clean. Clean and the programming environment have been developed completely in Nijmegen. The software that
has been constructed provides an invaluable infrastructure for eduction and research purposes of the department. |
