Tenured Associate Professor
Department of Control and Computer Engineering (DAUIN)
Profile
Research interests
Biography
Stefano Quer received an M.S. degree in Electronic Engineering from Politecnico di Torino in 1991 and a Ph.D. degree in 1996. In 1994-1995 he was Visiting Faculty with the Department of Electronic Engineering and Computer Science of the University of California in Berkeley. In 1998 he was with the "Advanced Technology Group'', at Synopsys Inc., Mountain View, California, and in 1999 with the "Alpha Development Group'', at Compaq Computer Corporation, Shrewsbury, Massachusetts, USA. In 2000 he was a Compaq Computer Corporation consultant. He was Assistant Professor with the Department of Control and Computer Engineering of Politecnico di Torino, Torino, Italy and he is now Associate Professor with the same institution. His research interests include systems and tools for CAD for VLSI, simulation and testing of digital systems, formal methods for hardware and software systems, and embedded systems. Other activities focus on the development of sequential and concurrent algorithms and on optimization techniques able to achieve acceptable solutions with limited resources. He took part in several Italian and European projects. He co-authored papers in refereed journals, in international refereed conferences, and international conferences without referees. He received the Best Paper Award at the IEEE European Design Automation Conference in 1994 (EURO-DAC'94). He served as a reviewer for international conferences and different international journals. He is a member of the Technical Program Committee for the DATE and ICSOFT conferences. He is a member of the Topical Advisor Panel of Sensors MDPI.
Scientific branch
(Area 0009 - Industrial and information engineering)
Skills
ERC sectors
SDG
Awards and Honors
- Best-Paper Awards conferred by IEEE EURO-DAC94 (1994)
Conferences
- DATE'22 (16/3/2022-23/3/2022), Program committee
- ICSOFT 2021 (6/7/2021-8/7/2021), Program committee
- DATE'21 (1/2/2021-5/2/2021), Program committee
- DATE'20 (9/3/2020-13/3/2020), Program committee
Teaching
Collegi of the PhD programmes
- INGEGNERIA INFORMATICA E DEI SISTEMI, 2020/2021 (37. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2019/2020 (36. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2018/2019 (35. ciclo)
Politecnico di TORINO
Collegi of the degree programmes
Teachings
Master of Science
- System and device programming. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- System and device programming. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- System and device programming. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- System and device programming. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- System and device programming. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- System and device programming. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- System and device programming. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
Bachelor of Science
- Algorithms and data structures. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Sistemi operativi. A.A. 2024/25, INGEGNERIA INFORMATICA. Titolare del corso
- Algorithms and data structures. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Sistemi operativi. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso
- Algorithms and data structures. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Sistemi operativi. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
- Algorithms and data structures. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Sistemi operativi. A.A. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
- Algorithms and Programming. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Sistemi operativi. A.A. 2020/21, INGEGNERIA INFORMATICA. Titolare del corso
- Algorithms and Programming. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Sistemi operativi. A.A. 2019/20, INGEGNERIA INFORMATICA. Titolare del corso
- Algorithms and Programming. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Sistemi operativi. A.A. 2018/19, INGEGNERIA INFORMATICA. Titolare del corso
Research
Research groups
Research projects
Projects funded by commercial contracts
- Sistemi ICT per applicazioni industriali, (2024-2025) - Responsabile Scientifico
Commercial contracts for the provision of services - Sistemi ICT per applicazioni industriali, (2023-2024) - Responsabile Scientifico
Commercial contracts for the provision of services - Sistemi ICT per applicazioni industriali , (2023-2024) - Responsabile Scientifico
Commercial contracts for the provision of services - Metodologie Innovative di Progettazione, Validazione e Test, applicate a sistemi embedded Hardware e Software, in ambito automotive, (2017-2018) - Responsabile Scientifico
Commercial Research
Supervised PhD students
- Lorenzo Cardone. Programme in Ingegneria Informatica E Dei Sistemi (38th cycle, 2022-in progress)
Research subject: This thesis investigates parallel accelerated applications in Electronic Design Automation, focusing on circuit and fault simulation by exploiting graph-based optimization techniques.
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
- Calabrese, Andrea; Quer, Stefano; Squillero, Giovanni; Tonda, Alberto (2024)
Towards an Evolutionary Approach for Exploting Core Knowledge in Artificial Intelligence. In: GECCO 2024: The Genetic and Evolutionary Computation Conference, Melbourne, VIC (AUS), July 14 - 18, 2024, pp. 259-262. ISBN: 979-8-4007-0495-6
Contributo in Atti di Convegno (Proceeding) - Ramirez-Espinosa, Gustavo; Chiavassa, Pietro; Giusto, Edoardo; Quer, Stefano; ... (2024)
Improving Data Quality of Low-Cost Light-Scattering PM Sensors: Towards Automatic Air Quality Monitoring in Urban Environments. In: IEEE INTERNET OF THINGS JOURNAL, vol. 11, pp. 28409-28420. ISSN 2327-4662
Contributo su Rivista - Cardone, Lorenzo; Di Martino, Salvatore; Quer, Stefano (2024)
Efficiently Computing Maximum Clique of Sparse Graphs with Many-Core Graphical Processing Units. In: ICSOFT 2024: 19th International Conference on Software Technologies, Dijon (FRA), 8-10 July, 2024, pp. 539-546. ISBN: 978-989-758-706-1
Contributo in Atti di Convegno (Proceeding) - Stracquadanio, Giuseppe; Medya, Sourav; Quer, Stefano; Pal, Debjit (2024)
VeryBug: An Attention-based Framework for Bug Localization in Hardware Designs. In: DATE 2024: Design, Automation and Test in Europe, Valencia (ESP), 25-27 March 2024, pp. 1-2. ISBN: 978-3-9819263-8-5
Contributo in Atti di Convegno (Proceeding) - Borione, Alessandro; Cardone, Lorenzo; Calabrese, Andrea; Quer, Stefano (2023)
An Experimental Evaluation of Graph Coloring Heuristics on Multi- and Many-Core Architectures. In: IEEE ACCESS, vol. 11, pp. 125226-125243. ISSN 2169-3536
Contributo su Rivista