Dr. Emanuela Frigerio
Dr. Frigerio researches formal methods for distributed workflows, smart contracts, and decentralized architectures ensuring verified execution in mission-critical applications.
Documented research interests and leadership
- Research areas
- Business Process Management, Formal Verification, Blockchain Architectures, IoT Security
- Academic position
- Associate Professor of Computer Science & Intelligent Systems
- Primary university source
- Official directory entry ↗
- Recruitment status
- Not verified. Leadership profile does not imply active vacancies or assistantship availability.
Supervision and contact
Students interested in graduate or doctoral research supervision in Business Process Management, Formal Verification, Blockchain Architectures are advised to consult formal department application channels.
Important verification note
Facts reflect official university directory records reviewed 2026-10-15. Faculty recruitment and admissions require formal application.
Reviewed 2026-10-15 · Editorial standards · Report an issue