The SCI research group is interested in how cluster software and hardware can be created, analyzed, run and maintained. We see formal methods as a vehicle to do scientific reasoning about both software and hardware. In multiprocessing it is imperative to be able to draw conclusions about the behaviour of programs and machines before they are built and tested. The reason for this is the very high cost of building hardware, and the fact that it is impossible to test concurrent programs and concurrent machines to such a degree that one can have confidence in the result. In programming and computer architecture we are interested in paradigms, methods and mechanisms for parallelism, and performance evaluation of the resulting software and hardware.
Performance evaluation is carried out by the means of analythic methods, simulations and prototypes.
This page is currently under modernization, some of the old stuff is listed below.