I am interested in the interaction between formal methods and artificial intelligence. My current focus is on model discovery, particularly for biological systems.