Lorenzo Cardone

Lorenzo Cardone is a PhD student (38th cycle, 2022-2025) in Computer and Systems Engineering and serves as an External Lecturer at Politecnico di Torino's Department of Control and Computer Engineering (DAUIN). His academic appointments include:

• Part-time Teaching Assistant for Operating Systems courses (2023-2026)
• Research collaboration with the Formal Methods (FM) research group

Education background includes:

• Bachelor's in Computer Science (2019)
• Master's in Computer Graphics and Multimedia (2021)

Research focuses on parallel computing infrastructures, software optimization for complex graph problems, and Electronic Design Automation (EDA) applications. Specific interests span:

• Parallel/distributed systems architecture
• Quantum computing implementations
• Circuit simulation techniques
• Fault tolerance in digital systems
• Automotive SoC testing methodologies

Recent publications (2024-2025) demonstrate specialization in test program optimization, SoC validation, and heuristic approaches for large-scale circuit analysis, primarily published in IEEE Transactions on Computers and major test engineering conferences.

No awards or student advisement mentioned. Research conducted within DAUIN's Formal Methods group under supervisors Stefano Quer and Paolo Bernardi.