C/ Daniel Saucedo Aranda s/n. 
Sobre mi trabajo ....
Las Tecnologías de la Información y la Comunicación están avanzando vertiginosamente produciendo un sinfín de productos, sistemas y aplicaciones que poco a poco se están incorporando en todas las facetas de nuestra vida cotidiana con el compromiso de proporcionar servicios hasta hace poco tiempo inimaginables en un plazo de tiempo relativamente corto para así satisfacer y mejorar nuestra calidad de vida.
Dentro de este vasto y variopinto mundo tecnológico me dedico principalmente al Desarrollo de Software desde diferentes enfoques, y, sobre todo, software para sistemas de control, de tiempo real, ubicuos, distribuidos y empotrados con aplicación directa en Automática, Robótica, Domótica o Instrumentación Científica entre otros.
Me interesan las metodologías y técnicas que permiten
desarrollar un software que garantice la satisfacción de requisitos no
funcionales críticos (confiabilidad, restricciones de tiempo real,
disponibilidad, seguridad), así como el desarrollo de herramientas de
diseño “automáticas” que facilitan el diseño, la generación automática
de software o la verificación de propiedades en sistemas software.
Me interesa también el desarrollo de tecnologías software avanzadas como sistemas operativos, núcleos de ejecución, máquinas virtuales, frameworks y middlewares portables a distintas plataformas hardware en dispositivos empotrados y móviles.