Ingeniería del Software

Especificación formal y verificación automática de software más

Sitemas Móviles y Empotrados

Software y Arquitecturas para entornos empotrados y dispositivos móvil

Tiempo Real y Control Automático

Sistemas domóticos ubicuos y de inteligencia ambiental e industrial

Procesos de Negocio

Modelado de procesos de aplicación empresarial

Frameworks y Middlewares

Middleware para la integración de redes, servicios y sistemas

Grupo de Investigación "Sistemas Concurrentes"

Este grupo (TIC-157 de acuerdo al Plan Andaluz de Investigación) se crea en su composición actual 15 de Julio de 2003 y está compuesto por un equipo multidisciplinar de profesores y personal investigadorentre los cuales hay físicos, ingenieros informáticos y de telecomunicaciones. Estamos interesados en los aspectos teóricos y aplicados del desarrollo del software (métodos, técnicas, lenguajes y herramientas) en sistemas concurrentes, empotrados y de tiempo real, aplicables en especial a dominios como los sistemas de control, de telecomunicaciones, domóticos y de instrumentación.