Juliana Bowles

• From Data to Models and Back
• Logic-Based Program Synthesis and Transformation