Sarah Kleest-Meißner, research group “Logic in Computer Science” at HU Berlin’s computer science department, successfully defended her PhD thesis on September 10, 2024. She proposed an expressive, theoretical query model for sequence data based on subsequences and patterns with variables which captures the core of Complex Event Processing (CEP) languages. Based thereon, she presented an algorithm for solving the task of discovering a query that describes best a given finite set of finite sequences of events. The theoretical basis of her query model enabled a comprehensive analysis of the complexity of event query discovery, whereas a prototypical implementation and an experimental evaluation with synthetic and real-world datasets complemented the formal results.
Congratulations!




