Alberto Pettorossi

• Logic Based Program Synthesis and Transformation
• Techniques for Searching, Parsing, and Matching
• Automata Theory and Formal Languages
• Methodologies for transformations and memoing in applicative languages