Alessandra Di Pierro

• From Lambda Calculus to Cybersecurity Through Program Analysis
• Formal Methods for Quantitative Aspects of Programming Languages