Institute for Computing and Information Sciences

Het Institute for Computing and Information Sciences (iCIS) heeft als doel de grondbeginselen van softwareontwikkeling te verbeteren via formele, op wiskunde gebaseerde theorieën, methoden en tools die de specificatie, het ontwerp, de analyse en de evaluatie van op computers gebaseerde systemen ondersteunen.