Trabajo de Lógica Computacional en Enschede (Países Bajos)

PorJosé A. Alonso

El Grupo de métodos formales de la Universidad de Twente ha ofertado 2 plazas para trabajar en Enschede (Países Bajos): PhD and Post Doc position on ERC project Verifcation of Concurrent Data Structures (U. Twente, Netherlands)

El trabajo consistirá en la especificación y verificación de estructuras de datos concurrentes.

Las dos plazas se incriben en el proyecto VerCors (Verification of Concurrent Data Structures) dirigido por Marieke Huisman.

Trabajo de Lógica Computacional en las Universidades de Pensilvania, Harvard y Northeastern

PorJosé A. Alonso

Se ha anunciado la oferta de plazas postdoctorales en la Universidad de Pensilvania, la Universidad de Harvard y la Universidad Northeastern.

El trabajo se desarrollará dentro del proyecto SAFE (Semantically Aware Foundation Environment).

SAFE es parte del proyecto CRASH (Clean-Slate Design of Resilient, Adaptive, Secure Hosts)

CRASH es un gran proyecto financiado por la DARPA (Defense Advanced Research Projects Agency) cuyo objetivo es el diseño de nuevos sistemas computacionales que sean muy resistentes a los ciberataques. Se desea diseñar los niveles de hardware, sistemas operativos y lenguajes de programación poniendo el énfasis en la simplicidad, seguridad y verificabilidad de todos los niveles.

Las áreas de trabajo son lenguajes de programación, verificación formal, sistemas operativos y diseño de hardware.

SBMF 2010: 13th Brazilian Symposium on Formal Methods

PorJosé A. Alonso

El SBMF 2010: 13th Brazilian Symposium on Formal Methods se celebrará en Natal (Rio Grande do Norte, Brazil) del 8 al 12 de Noviembre.

Entre los temas del congreso relacionados con el trabajo de nuestro grupo están:

  1. Especificación y modelización.
  2. Técnicas de abstracción, modularización y refinamiento.
  3. Demostración automática de teoremas.
  4. Certificación de software.
  5. Enseñanza de, y con, métodos formales.
  6. Desarrollo de metodogías basadas en métodos formales.

La fecha de envío de artículos finaliza el 10 de Junio.

Métodos formales y seguridad en la Red

PorJosé A. Alonso

Hoy publica “El País” el artículo España, blanco de más de cuarenta ciberataques. El artículo es un reportaje sobre “la guerra de los ciberespías” a raíz del ataque a Google. Además cuenta las iniciativas españolas para aumentar la seguridad.

Desde sus inicios los métodos formales se han aplicado a aumentar la seguridad de los sistemas críticos y, más generalmente, a la ingeniería de la seguridad. Dado el uso de la Red, sus programas y servicios se están convirtiendo en sistemas críticos y, por tanto, en campo de aplicación de los métodos formales. Muestra del interés de los sistemas de Red para los métodos formales son la realización de tesis como las siguientes
Read More “Métodos formales y seguridad en la Red”