Alexandre Pinazza

Alexandre Pinazza is a Doctoral Assistant at École Polytechnique Fédérale de Lausanne (EPFL), affiliated with both the Systems and Formalisms Lab (SYSTEMF) and the Verification and Computer Architecture Lab (VCA) within the School of Computer and Communication Sciences (IC). He is also a PhD candidate enrolled in the Doctoral Program in Computer and Communication Sciences (EDIC), reflecting his dual role as both a researcher and a doctoral student.

His research centers on linking verification proofs across hardware and software components, aiming to enhance system correctness and reliability. This work lies at the intersection of formal methods, computer architecture, and systems engineering. His involvement in two prominent labs indicates a multidisciplinary approach, combining theoretical formalisms with practical architectural verification.

Alexandre has not yet published articles listed in the provided text, so no trends can be inferred at this stage. However, his focus suggests future contributions in formal verification frameworks and integrated proof systems.

• Affiliation: Systems and Formalisms Lab (SYSTEMF), EPFL
• Affiliation: Verification and Computer Architecture Lab (VCA), EPFL
• Program: Doctoral Program in Computer and Communication Sciences (EDIC)

He has not received any scientific awards mentioned in the text. He does not supervise any students listed. Alexandre is actively engaged in research and has no noted grants or advising roles at this time.

He is part of two advanced research groups: the Systems and Formalisms Lab, which focuses on rigorous modeling and verification techniques, and the Verification and Computer Architecture Lab, which bridges low-level hardware design with high-assurance software verification. These labs provide a strong foundation for his interdisciplinary work.