Stefano Quer

Tenured Associate Professor
Department of Control and Computer Engineering (DAUIN)

Profile

Research interests

Binary decision diagrams
Bounded model checking
Concurrent computing
Formal methods
Formal verification
Graphs
Model checking
Parallel processing
Satisfiability

Biography

Stefano Quer is a professor at the Department of Control and Computer Engineering at Politecnico di Torino. He received his M.S. in Electronic Engineering from Politecnico di Torino in 1991 and earned his Ph.D. in 1996 from the Italian Ministry of University and Scientific and Technological Research. His career includes several significant international experiences. He was a Visiting Faculty member at the University of California, Berkeley's Department of Electrical Engineering and Computer Sciences from 1994 to 1995. Subsequently, he held visiting researcher positions at the "Advanced Technology Group" at Synopsys Inc. in 1998 and the "Alpha Development Group" at Compaq Computer Corporation in 1999. He served as a consultant for Compaq in 2000. Since 1992, Stefano Quer has been actively teaching computer engineering courses, focusing on advanced algorithms, operating systems, concurrent programming, and system and device programming. His research interests are broad, encompassing systems and tools for CAD for VLSI, formal validation methods for hardware and software systems, embedded systems, and sensor networks. He also focuses on developing parallel algorithms and optimization techniques to achieve practical solutions with limited resources. In recognition of his work, he received a Best Paper Award at the 1994 IEEE European Design Automation Conference (EURO-DAC '94). He is an active contributor to the scientific community, a reviewer for international journals and conferences, and a member of the Topical Advisor Panel for the MDPI journals Sensors and Applied Science. Furthermore, he has served as a chair or member of the Technical Program Committees for numerous prestigious conferences, including DATE, ICCAD, DAC, ICSOFT, GLSVLSI, SOFTENG, and IWLS. He has co-authored many papers for refereed journals and international conferences and has participated in various Italian and European projects.

Scientific branch

IINF-05/A - Information Processing Systems
(Area 0009 - Industrial and information engineering)

Skills

ERC sectors

PE6_6 - Algorithms, distributed, parallel and network algorithms, algorithmic game theory
PE6_2 - Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems
PE6_12 - Scientific computing, simulation and modelling tools
PE6_4 - Theoretical computer science, formal methods, and quantum computing

SDG

Goal 4: Quality education
Goal 9: Industry, Innovation, and Infrastructure
Goal 10: Reduced inequalities

Awards and Honors

  • Best-Paper Awards conferred by IEEE EURO-DAC94 (1994)

Fellowships

Conferences

  • ICSOFT 2026 (16/7/2026-18/7/2026), Program committee
  • DATE 2026 (1/1/2026-22/4/2026), Program chair
  • ICCAD 2025 (26/10/2025-30/10/2025), Program committee
  • ICSOFT 2025 (10/6/2025-12/6/2025), Program committee
  • DATE 2025 (1/1/2025-2/4/2025), Program chair
  • DATE 2024 (25/3/2024-27/3/2024), Program committee
  • DATE 2023 (17/4/2023-19/4/2023), Program committee
  • DATE 2022 (16/3/2022-23/3/2022), Program committee
  • ICSOFT 2021 (6/7/2021-8/7/2021), Program committee
  • DATE 2021 (1/2/2021-5/2/2021), Program committee
  • DATE 2020 (9/3/2020-13/3/2020), Program committee
View moreView less

Teaching

Collegi of the PhD programmes

  • INGEGNERIA INFORMATICA E DEI SISTEMI, 2021/2022 (37. ciclo)
    Politecnico di TORINO
  • INGEGNERIA INFORMATICA E DEI SISTEMI, 2020/2021 (36. ciclo)
    Politecnico di TORINO
  • INGEGNERIA INFORMATICA E DEI SISTEMI, 2019/2020 (35. ciclo)
    Politecnico di TORINO
MostraNascondi collegi passati

Collegi of the degree programmes

Teachings

Master of Science

MostraNascondi A.A. passati

Bachelor of Science

MostraNascondi A.A. passati

Research

Research groups

Research projects

Projects funded by commercial contracts

Supervised PhD students

  • Lorenzo Cardone. Programme in Ingegneria Informatica E Dei Sistemi (38th cycle, 2022-in progress)
    Research subject: Parallel Techniques for Reliability Measures
    Computer architectures and Computer aided design
    Parallel and distributed systems, Quantum computing
    Computer architectures and Computer aided design
    Parallel and distributed systems, Quantum computing
  • Andrea Calabrese. Programme in Ingegneria Informatica E Dei Sistemi (36th cycle, 2020-2024)
    Thesis: New Programming Paradigms for Optimization

Publications

Latest publications View all publications in Porto@Iris