Simon Kohaut

I am working on enabling autonomous systems to efficiently reason on their environment and actions by combining the powers of probability theory with formal logic. To achieve continual reasoning under real-time constraints, exploiting properties of the agent’s perception and knowledge of its domain can help us to overcome the costs of probabilistic inference. Hence, my research focuses on creating reactive systems that are built on a foundation of probabilistic logic and message passing between individual models.