Un equip de la Universitat de Barcelona ha desenvolupat un sistema per aconseguir programes informàtics lliures d'errors. Sovint, que un programari tingui un error no causa greus conseqüències, però, en altres casos, el desenllaç pot ser tràgic. Com funciona aquest nou programari? En quin àmbit es pot aplicar aquest nou programari? En parlem de tot plegat amb qui ha liderat aquest projecte, Joost Joosten, professor del Departament de Filosofia de la Universitat de Barcelona i investigador de l'Institut de Matemàtica de la UB.
Si encara no ets usuari de Cugat.cat, registra't per opinar.
Avís important
Tots els comentaris es publiquen amb nom i cognoms i no s'accepten ni àlies ni pseudònims
Cugat.cat no es fa responsable de l'opinió expressada pels lectors
No es permet cap comentari insultant, ofensiu o il·legal
Cugat.cat es reserva el dret de suprimir els comentaris que consideri poc apropiats, i cancel·lar el dret de publicació als usuaris que reiteradament violin les normes d'aquest web.
OPINA
Identifica't per comentar aquesta notícia.
Si encara no ets usuari de Cugat.cat, registra't per opinar.
Avís important
Tots els comentaris es publiquen amb nom i cognoms i no s'accepten ni àlies ni pseudònims
Cugat.cat no es fa responsable de l'opinió expressada pels lectors
No es permet cap comentari insultant, ofensiu o il·legal
Cugat.cat es reserva el dret de suprimir els comentaris que consideri poc apropiats, i cancel·lar el dret de publicació als usuaris que reiteradament violin les normes d'aquest web.