Se cuenta con un equipo de 6 profesores participantes en esta línea de investigación. Los profesores que participan en esta línea de investigación son profesores del área de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla. La investigación se centra en la aplicación de la lógica computacional a la verificación asistida por ordenador de sistemas y al estudio de sistemas complejos, especialmente desde el punto de vista semántico. También se centra en la interpretación de sistemas biológicos como modelos de computación, y a partir de éstos se formalizan nuevos modelos para su estudio y aplicación.