Stefano Quer

Stefano Quer is an Associate Professor at the Department of Control and Computer Science (DAUIN), Politecnico di Torino. He holds a PhD in Electronic Engineering from the same institution and has been affiliated with DAUIN since 1996.

• Researcher (1996-2000)
• Associate Professor (2000-present)
• Visiting Faculty at UC Berkeley (1994-1995)

Research Interests

His work spans

• Formal Verification
• BDD/SAT Techniques
• Embedded Systems
• Hardware/Software Co-Verification
• Parallel Computing

with applications in VLSI CAD, industrial IoT, and energy-efficient systems. Recent articles focus on GPU-accelerated graph algorithms, wireless sensor calibration, and AI-driven test optimization.

Scientific Awards

• Best Paper Award, IEEE EURO-DAC'94

Academic Contributions

• Supervised PhD students Lorenzo Cardone and Andrea Calabrese
• Member of DATE, ICSOFT Technical Program Committees
• Topical Advisor for Sensors MDPI
• 60+ publications in IEEE/ACM venues