معرفی
Alberto Momigliano is an Associate Professor at the Department of Computer Science, University of Milan, Italy. His research focuses on formal methods, proof theory, and logical frameworks in programming languages. He has contributed extensively to property-based testing, coinductive proofs, and mechanized metatheory.
Research Interests:
- Formal verification of programming languages
- Higher-order abstract syntax
- Logical frameworks (Hybrid, Beluga)
- Proof theory and type systems
- Property-based testing
- Coinductive methods
Recent Articles explore substructural contexts, proof outlines for testing, and coinductive formalizations. His scientific awards include the Distinguished Paper Award at CPP 2025.
Academic Activities:
- Program Committee Member at CPP 2024 and CPP 2025
- Organized Logic Colloquium 2023 in Milan
- Steering Committee member of PPDP
- Involved in mechanizing metatheory with Coq automation
۰مقاله منتشرشده
