Pedro Lopez-Garcia

• Logic-Based Program Synthesis and Transformation
• Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems