Software engineering, programming languages and systems
Faculty
- Francesco Ranzato (Abstract interpretation; Software Verification; Program Analysis)
- Tullio Vardanega (Software Engineering Principles and Practices; Software Development and Verification Methods; Vulnerabilities of Programming Languages)
Ph.D. Students
- Samuele Doria (AI for Security; Model Context Protocol; LLM)
