I work at the intersection of formal methods and artificial intelligence. I am particularly interested in model discovery and learning, drawing on my background in automata theory, logic, and concurrency theory. My current focus is on developing streaming algorithms, especially for process mining. This work is incorporated into our Python streaming library logicsponge, which offers components for runtime monitoring and process mining, among others.