Profile

David A. Rosenblueth

Investigador de Carrera Titular B

Bio

David A. Rosenblueth recibió su doctorado de la Universidad de Victoria en la Columbia Británica, Canadá. Ha trabajado en programación lógica, verificación de modelos y sistemas complejos. Dentro del campo de la programación lógica, ha contribuido 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 la 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. En sistemas complejos, ha trabajado en sistemas autoorganizantes de semáforos.