news

Mar 25, 2026 My paper “Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper” was accepted to FSE 2026!
Mar 16, 2026 My personal website is now live!