We focus on the development of distributed systems, from software engineering through middleware development into computer architecture. The research concerns parallel and distributed system architectures : theory, methodology and implementation techniques. Special focus is on multi core architectures, design and implementation of distributed services (p2p and ´cloud computing´) and also self regulating computer and communication systems. We also work with development tools from mathematics and logic, such as for instance constraint programming.
