David A. Rosenblueth

David A. Rosenblueth is a researcher at the Universidad Nacional Autónoma de México (UNAM). He earned his Ph.D. from the University of Victoria in British Columbia, Canada. His research focuses on logical programming, model verification, and complex systems. Specifically, he has contributed to logical programming areas such as inference systems inspired by syntactic analyzers, inductive logic programming, program transformation, and logic programming applied to genetic regulation. In model verification, he has studied model updating and verification for hidden Markov models, multi-agent systems, genetic regulation, robotics, and embedded systems. Additionally, he has worked on self-organizing traffic light systems in complex systems. On Coursera, Rosenblueth teaches courses like "Inteligencia artificial: proyecto final" and "Razonamiento artificial," focusing on artificial intelligence and reasoning. His expertise spans various computational fields, making him a valuable instructor for students interested in AI and related technologies.