Trabajo de Lógica Computacional en Grenoble

PorJosé A. Alonso

Bull y el Centro de investigación INRIA de Grenoble Rhône-Alpes han ofertado un puesto de trabajo de 3 años para realizar una tesis doctoral.

El tema de la tesis es ”Vérification de protocoles de cohérence de caches pour les calculateurs à haute performance”.

El trabajo de la tesis consistirá en modelisar y verificar los protocolos de Bull, usando los métodos y herramientas existentes, chequeadores de modelos (CADP, Murphi, …) y/o sistemas de razonamiento (PVS, Coq, …), o combinaciones de dichas herramientas.

Más información en Bull et le Centre de recherche INRIA de Grenoble Rhône-Alpes recrutent un doctorant.

Relación 16 de ejercicios de I1M (2009-10)

PorJosé A. Alonso

Hoy he publicado la relación 16 de ejercicios de Informática de 1º de Matemáticas.

Contiene ejercicios de razonamiento sobre programas, tipos de datos y comprobación de propiedades con QuickCheck.

Como caso de estudio se propone el cálculo de las coaliciones de partidos para obtener mayorías parlamentarias minimales.

A lo largo de la semana los alumnos escribirán de manera colaborativa las soluciones de la relación 16.

Competición de IA de Google

PorJosé A. Alonso

La Google AI Challenge de este año es sobre un juego con dos jugadores, el Tron, que es parecido al Snake.

Se puede participar en la competición programando la estrategia del juego en distintos lenguajes de programación, entre los que se encuentran Haskell y Common Lisp.

Esta competición puede utilizarse en distintas asignaturas que impartimos: