I am a Postdoctoral researcher in the Foundations of Algorithmic Verification
group led by Joël Ouaknine
My research interests include Combinatorics on words, Symbolic dynamics, and Theoretical aspects of verification.
I mainly work on problems related to verification in discrete linear dynamical systems, such as reachability and invariant synthesis.
For more information (such as publications) please see my personal webpage: