Profile

David Rosenblueth

Investigador de Carrera Titular A

био

David A. Rosenblueth recibió su doctorado de la Universidad de Victoria en Colombia Británica, Canadá. Ha trabajado en Programación Lógica, Verificación de Modelos, y Sistemas Complejos. Dentro de Programación Lógica, tiene contribuciones en sistemas de inferencia inspirados en analizadores sintácticos, Programación Lógica Inductiva, Transformación de Programas, y Programación Lógica aplicada a regulación genética. Dentro de Verificación de Modelos, ha estudiado el problema de la actualización de modelos y verificación para modelos ocultos de Markov, sistemas multi-agentes, regulación genética, robótica, y sistemas incrustados. Dentro de Sistemas Complejos, ha trabajado en sistemas autoorganizantes de semáforos.