DATOS ACADÉMICOS

-Ingeniero en Informática por la Universidad Complutense de Madrid

Actividad destacada:

?Proyecto fin de carrera / Sistemas Informáticos:

DATEM: Implementación de un demostrador automático de teoremas interactivo mediante el método de eliminación de modelos.

?Ingeniería del Software

Proyecto Turno-Matic: Herramienta de generación automática de horarios destinada a cadenas de centros comerciales

-Máster en Investigación en Informática (Especialidad en Programación y Tecnología Software) por la Universidad Complutense de Madrid.

Actividad destacada:

?Proyecto fin de Máster: ?Avances recientes en análisis estáticos de terminación? bajo la dirección del profesor Ricardo Peña Marí. El trabajo incluye la implementación en SWI-PROLOG de algunos métodos recientes de síntesis de invariantes de tamaños y de funciones de rango (cuya existencia asegura la terminación de los programas). A raíz del mismo se presentó en Septiembre de 2010 el artículo Size Invariants and Ranking Functions Synthesis in a Functional Language en el congreso IFL (Implementation and Application of Functional Languages) en los Países Bajos.



OFIMÁTICA

-Sistemas Operativos: Windows, Linux
-MS Office (Word, Powerpoint, Excel, Access, FrontPage)
-Diseño de páginas web (Lenguaje HTML)


LENGUAJES DE PROGRAMACIÓN

Puedo adaptarme a cualquier entorno, sistema, programa o lenguaje informático (de programación, de marcado, de consulta a bases de datos,?) rápidamente. Tengo conocimientos y experiencia práctica en los siguientes lenguajes de programación:

-PASCAL: Nivel avanzado
-C/C++: Nivel avanzado
-JAVA: Nivel avanzado
-PROLOG/XPCE: Nivel avanzado
-HASKELL: Nivel medio
-VHDL: Nivel medio
-MAPLE : Nivel medio
-MATLAB/SIMULINK : Nivel medio
-SQL : Nivel medio
-PL/SQL: Nivel medio
-XML: Nivel medio