Tot în cadrul Infrastructurii de Cercetare în Ştiinţe Aplicate, INCESA, funcţionează şi Centrul de Cercetare în Domeniul Ştiinţei Calculatoarelor. Laboratorul pentru integrarea inteligenţei formale în analiza, simularea, dezvoltarea, testarea şi certificarea infrastructurilor de comunicaţie este dotat cu o serie de echipamente, care permit testarea la nivel înalt a performanţelor infrastructurilor de comunicaţii.
Prin acest echipament poate fi simulat, de exemplu, comportamentul abonaţilor de telefonie mobile şi al funcţiilor de reţea virtualizate, pentru a permite operatorilor să lanseze rapid servicii noi.
Cu ajutorul acestui echipamentul pot fi optimizate reţele virtuale printr-o metodă de validare a acestora la scară largă. Metoda simulează exact mediile din lumea reală, pentru a asigura performanţa şi rezistenţa reţelei.