Ph.D. candidate in Ingegneria Informatica E Dei Sistemi , 38th cycle (2022-2025)
Department of Control and Computer Engineering (DAUIN)
Adjunct lecturer/Adjunct instructor
Department of Control and Computer Engineering (DAUIN)
Profile
PhD
Research topic
Parallel Techniques for Reliability Measures
Tutors
Research presentation
Keywords
Awards and Honors
- Outstanding Student Presentation Award from ETS2026 Conference (2026)
- Best Paper Award Certificate for the paper entitled: Cooperative Multi-Heuristic Parallelization for the Maximum Common Induced Subgraph Problem authored by: Lorenzo Cardone and Stefano Quer received at the 21st International Conference on Software Technologies (ICSOFT) held in Porto- Portugal, July 16- 18, 2026 (2026)
Teaching
Teachings
Bachelor of Science
- Operating systems. A.A. 2025/26, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Sistemi operativi. A.A. 2025/26, INGEGNERIA INFORMATICA. Collaboratore del corso
- Operating systems. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Sistemi operativi. A.A. 2024/25, INGEGNERIA INFORMATICA. Collaboratore del corso
- Operating systems. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Sistemi operativi. A.A. 2023/24, INGEGNERIA INFORMATICA. Collaboratore del corso
Research
Research groups
Publications
Latest publications View all publications in Porto@Iris
- Cardone, Lorenzo; Quer, Stefano; Bernardi, Paolo (In stampa)
Fast Circuit Analysis via Neighborhood-Guided Maximum Common Subgraph. In: European Test Symposium 2026, Platanias (GR), 25/05/2026 - 29/05/2026
Contributo in Atti di Convegno (Proceeding) - Bernardi, Paolo; Cardone, Lorenzo; Quer, Stefano (In stampa)
Smart Heuristics for Maximum Common Subgraph Sub-Estimation in Large Digital Circuits. In: IWLS 2025, Verona (IT), 20/05/2024 - 24/05/2024
Contributo in Atti di Convegno (Proceeding) - Calabrese, Andrea; Cardone, Lorenzo; Licata, Salvatore; Porro, Marco; Quer, Stefano (2026)
Improving state-of-the-art vertex sorting algorithms to compute the maximum common induced subgraph. In: JOURNAL OF HEURISTICS, vol. 32. ISSN 1381-1231
Contributo su Rivista - Cardone, Lorenzo; Ghisolfo, Giorgia; Mongardi, Giorgio; Quer, Stefano; Squillero, ... (2026)
Beyond the Black Box: Neuro-Symbolic Integration for Interpretable Video-Based Reinforcement Learning. In: 21st International Conference on Software Technologies, Porto (PRT), 16/07/2026 - 18/07/2026, pp. 593-604. ISBN: 978-989-758-855-6
Contributo in Atti di Convegno (Proceeding) - Cardone, Lorenzo; Quer, Stefano (2026)
Cooperative Multi-Heuristic Parallelization for the Maximum Common Induced Subgraph Problem. In: 21st International Conference on Software Technologies, Porto (PRT), 16/07/2026 - 18/07/2026, pp. 605-616
Contributo in Atti di Convegno (Proceeding)