Verificación descentralizada y distribuida de flujos en tiempo real: Mejora de la supervisión en sistemas complejos

Determinar si un programa informático es correcto o defectuoso, que se comporta como se espera, es de lo que se encarga la verificación de software, la rama de investigación a la que se dedica Luis Miguel Danielsson. Dado que el software se ha convertido en una herramienta importante para resolver una amplia gama de problemas humanos, es necesario gestionar todos los detalles sobre cómo manejar los datos y el cálculo en un algoritmo determinado. Pero construir software fiable es una tarea…

Alessio Mansutti, el investigador que hizo el doctorado «por accidente» y ahora trabaja con algoritmos para teorías aritméticas

Cuando era niño, al investigador del Instituto IMDEA Software le encantaban el baloncesto y las revistas quincenales de ciencia para niños que venían con experimentos que hacía con su padre. A partir de ese momento, su fascinación por los temas científicos no hizo más que crecer.  El investigador Alessio Mansutti es de Udine, una ciudad del noreste de Italia, nos cuenta que es una ciudad maravillosa para vivir y que desde allí se puede llegar al mar Adriático o a los…

Escalando el monte Everest de la programación informática

Aleks Nanevski ha dedicado su vida a resolver uno de los mayores retos de la informática, emprendiendo un largo y arriesgado camino para revolucionar nuestra forma de concebir la programación en general, y la programación concurrente en particular. Aleks Nanevski, investigador del Instituto IMDEA Software, descubrió su pasión por las matemáticas a los 10 años cuando un profesor de su colegio en Macedonia vio en él aptitudes y empezó a darle clases extraescolares. Desde entonces, comenzó a participar en competiciones…