Max Robotics — Global Service Robot Directory + US Certification

About

Daniel de Leng is a researcher specializing in stream reasoning, knowledge representation, and autonomous robotic systems, with a particular focus on bridging formal logic and real-world sensor data processing. His most influential work explores how intelligent systems can reason incrementally over continuous, dynamically changing information streams — a critical challenge in artificial intelligence and robotics. De Leng's most cited contribution (22 citations) advances stream reasoning under uncertainty using Metric Temporal Logic, extending classical formula progression techniques to handle incomplete or imprecise information — a significant theoretical leap for time-sensitive AI applications. Alongside this, his development of DyKnow (17 citations), a dynamically reconfigurable stream reasoning framework integrated with the Robot Operating System (ROS), demonstrates his commitment to translating theoretical foundations into practical robotic applications, enabling robots to achieve situation awareness across diverse sensor inputs. His work on qualitative spatio-temporal reasoning (12 citations) further addresses the challenge of inferring spatial relationships across time when direct observation is impossible, using landmark-based approaches. Complementing this, his research on semantic information integration and on-demand event processing highlights his broader vision of adaptive, self-configuring intelligent systems. Collectively, de Leng's research makes meaningful contributions to building smarter, more autonomous robots capable of reasoning flexibly in complex, unpredictable environments.