Pietro FERRARA
- Position
- Associate Professor
-
pietro.ferrara@unive.it
- Academic discipline
- Informatics [INFO-01/A]
- Website
-
https://www.unive.it/web/en/19197/people/pietro.ferrara(personal record)
https://pietroferrara.github.io/
- Office
-
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Z.B03 (Zeta B building)
Office hours
On Monday from 9:00 to 11:00, by appointment via Calendly (https://calendly.com/pietro-ferrara), specifying in the notes if you want to do it online (GMeet platform) or in person, and the reason for the request (thesis, exam clarification, course content clarification, etc).
Teaching activity current year
Teaching activity previous years
Activities and research skills
- Academic discipline
- Informatica [INFO-01/A]
- Settore Scientifico Disciplinare (SSD) affine
- SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI [ING-INF/05]
- Geographic areas in which the research experience mainly applies
- Regionale
- Known languages
-
(scritto: base parlato: base)
- Main departmental research areas and fields
-
Area:
Informatica Linea:
INFORMATION SYSTEMS
Area: Informatica
- EcoDigify
-
- Funding body:
- EU - Erasmus+ KA
- Type:
- Altri finanziamenti per attività di didattica/formazione
- Role in the project:
- PT
- Sito di progetto:
- www.ecodigify.eu
- Starting date:
- Year: 2024 Length in months: 36
- Other members of the research group:
-
Agostino CORTESI
Mandira ROY
- Health_AI
-
- Funding body:
- EU - Erasmus+ KA
- Type:
- Altri finanziamenti per attività di didattica/formazione
- Role in the project:
- PT
- Sito di progetto:
- https://healthai.cankaya.edu.tr/
- Starting date:
- Year: 2025 Length in months: 36
- Other members of the research group:
-
Agostino CORTESI
- RIR SUPREME
-
- Funding body:
- Regione Veneto
- Type:
- Altri finanziamenti per progetti di ricerca
- Role in the project:
- PT
- Starting date:
- Year: 2025 Length in months: 24
- Other members of the research group:
-
Agostino CORTESI
Publication highlights
giacomo boldini, luca negrini, luca olivieri, pietro ferrara A Modular Framework for Stack-Heap and Value Abstractions , Proceedings of the 33rd Static Analysis Symposium (SAS 2026), Springer Nature, Convegno: 33rd Static Analysis Symposium (SAS 2026)
2026,
Article in Conference Proceedings - ARCA card: 10278/5126327
Olivieri, Luca; Pasetto, Luca; Negrini, Luca; Ferrara, Pietro An Overview of Termination in the Ethereum Blockchain , Blockchain Technology and Emerging Applications, Springer Nature Switzerland, pp. 226-248, Convegno: 4th EAI International Conference on Blockchain Technology and Emerging Applications (ISBN 9783032123343; 9783032123350) (ISSN 1867-8211)
DOI 2026,
Article in Conference Proceedings - ARCA card: 10278/5109729
Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) , Tools and Algorithms for the Construction and Analysis of System (TACAS 2026), Springer, Convegno: 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2026)
DOI 2026,
Article in Conference Proceedings - ARCA card: 10278/5112869
Luca Olivieri,
David Beste,
Luca Negrini,
Lea Schonherr,
Antonio Emanuele Cina,
Pietro Ferrara Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric , 2025 IEEE 36th International Symposium on Software Reliability Engineering (ISSRE), Institute of Electrical and Electronics Engineers Inc., Convegno: ISSRE
DOI 2025,
Article in Conference Proceedings - ARCA card: 10278/5106388
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts , SAC'25: Proceedings of the Symposium on Applied Computing, ACM PRESS, pp. 329-337, Convegno: 40th ACM/SIGAPP Symposium On Applied Computing
DOI 2025,
Article in Conference Proceedings - ARCA card: 10278/5091431