
Prof. Associato Confermato
Dipartimento di Automatica e Informatica (DAUIN)
Profilo
Interessi di ricerca
Biografia
Stefano Quer ha ricevuto la Laurea in Ingegneria Elettronica dal Politecnico di Torino nel 1991 e il titolo di Dottore di Ricerca nel 1996.
Nel 1994-1995 è stato Visiting Faculty presso il Dipartimento di Ingegneria Elettronica e Informatica dell'Università di California a Berkeley.
Nel 1998 è stato in visita presso il Gruppo di Tecnologie Avanzate della Synopsys Inc., Mountain View, in California e nel 1999 presso il Gruppo di Sviluppo Processori Alpha della Compaq Computer Corporation, Shrewsbury, Massachussetts, in USA.
Nel 2000 è stato consulente presso Compaq Computer Corporation.
È stato ricercatore presso il Dipartimento di Automatica e Informatica del Politecnico di Torino ed è ora Professore Associato con la stessa istituzione.
I suoi interessi di ricerca includono i sistemi e le applicazioni CAD per VLSI, la simulazione e il testing di sistemi digitali, i metodi formali appllicati ai sistemi hardware e software, e i sistemi embedded.
Altre attività si concentrano sullo sviluppo di algoritmi sequenziali e concorrenti e sulla ottimizzazione di applicazioni tramite tecniche capaci di raggiungere soluzioni accettabili con risorse limitate.
Ha preso parte a svariati progetti italiani ed europei.
È autore o co-autore di articoli su riviste e conferenze internazionali.
Ha ricevuo un Best Paper Award nel 1994 per la IEEE European Design Automation Conference in 1994 (EURO-DAC'94).
Ha agito quale revisore per riviste e conferenze internazionali.
Attualmente è membro del Technical Program Committee per le conferenze DATE e ICSOFT.
È membro del Topical Advisor Panel per la rivista Sensors MDPI.
Settore scientifico discliplinare
(Area 0009 - Ingegneria industriale e dell'informazione)
Linee di ricerca
- 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
Competenze
Settori ERC
SDG
Premi e riconoscimenti
- Best-Paper Awards conferito da IEEE EURO-DAC94 (1994)
Congressi
- DATE'22 (16/3/2022-23/3/2022), Program commitee (membro del comitato scientifico)
- ICSOFT 2021 (6/7/2021-8/7/2021), Program commitee (membro del comitato scientifico)
- DATE'21 (1/2/2021-5/2/2021), Program commitee (membro del comitato scientifico)
- DATE'20 (9/3/2020-13/3/2020), Program commitee (membro del comitato scientifico)
Didattica
Collegi di Dottorato
- 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 dei Corsi di Studio
Insegnamenti
Corso di laurea magistrale
- 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
Corso di laurea di 1° livello
- 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
Ricerca
Gruppi di ricerca
Dottorandi
- Lorenzo Cardone. Corso in Ingegneria Informatica E Dei Sistemi (ciclo 38, 2022-in corso)
- Andrea Calabrese. Corso in Ingegneria Informatica E Dei Sistemi (ciclo 36, 2020-in corso)
Pubblicazioni
Pubblicazioni più recenti Vedi tutte le pubblicazioni su 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)