top of page
Research Interests
My research is centered around formal methods for system design and verification, with a focus on logic, automata theory, and grammatical inference.
My current interest is mainly in the interaction between the fields of formal methods and machine learning. I am particularly interested in their application to discovering and modeling biological systems.
bottom of page