
Confirmed 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.
Research topics
- Graph and data structure Concurrent computing Parallel computing
- Formal Methods Formal Verification Binary Decision Diagrams Symbolic Techniques Equivalence Checking Model Checking Satisfiability Property Directed Reachability
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
PhD Boards
- 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
Courses of Study Boards
Teachings
Master of Science
- System and device programming. A.A. 2017/18, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- System and device programming. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- System and device programming. A.A. 2019/20, 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. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- System and device programming. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
Bachelor of Science
- Algorithms and data structures. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Algorithms and data structures. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Algorithms and Programming. A.A. 2017/18, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Algorithms and Programming. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Algorithms and Programming. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Algorithms and Programming. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Sistemi operativi. A.A. 2017/18, INGEGNERIA INFORMATICA. Titolare del corso
- Sistemi operativi. A.A. 2018/19, INGEGNERIA INFORMATICA. Titolare del corso
- Sistemi operativi. A.A. 2019/20, INGEGNERIA INFORMATICA. Titolare del corso
- Sistemi operativi. A.A. 2020/21, INGEGNERIA INFORMATICA. Titolare del corso
- Sistemi operativi. A.A. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
- Sistemi operativi. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
Research
Research groups
Supervised PhD students
- Lorenzo Cardone. Programme in Ingegneria Informatica E Dei Sistemi (cycle 38, 2022-in progress)
- Andrea Calabrese. Programme in Ingegneria Informatica E Dei Sistemi (cycle 36, 2020-in progress)
Publications
Latest publications View all publications in Porto@Iris
- Angione, Francesco; Bernardi, Paolo; Calabrese, Andrea; Cardone, Lorenzo; Niccoletti, ... (In stampa)
An innovative Strategy to Quickly Grade Functional Test Programs. In: International Test Conference
Contributo in Atti di Convegno (Proceeding) - Appello, D.; Bernardi, Paolo; Calabrese, Andrea; Pollaccia, G.; Quer, Stefano; Tancorre, ... (2022)
Parallel Multithread Analysis of Extremely Large Simulation Traces. In: IEEE ACCESS, vol. 10, pp. 56440-56457. ISSN 2169-3536
Contributo su Rivista - Orlando, Matteo; Estebsari, Abouzar; Pons, Enrico; Pau, Marco; Quer, Stefano; Poncino, ... (2022)
A Smart Meter Infrastructure for Smart Grid IoT Applications. In: IEEE INTERNET OF THINGS JOURNAL, vol. 9, pp. 12529-12541. ISSN 2327-4662
Contributo su Rivista - Castangia, Marco; Barletta, Nicola; Camarda, Christian; Quer, Stefano; Macii, Enrico; ... (2022)
Clustering appliance operation modes with unsupervised deep learning techniques. In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. ISSN 1941-0050
Contributo su Rivista - Leszkiewicz, Agata; Bucur, Doina; Grimme, Christian; Michalski, Radoslaw; Clever, Lena; ... (2022)
Social Influence Analysis (SIA) in Online Social Networks. In: MISDOOM 2022, Boise, Idaho (USA), 11-12 October 2022, pp. 1-2
Contributo in Atti di Convegno (Proceeding)