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
- Formal Methods Formal Verification Binary Decision Diagrams Symbolic Techniques Equivalence Checking Model Checking Satisfiability Property Directed Reachability
- Graph and data structure Concurrent computing Parallel computing
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. 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
Corso di laurea di 1° livello
- 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
Ricerca
Gruppi di ricerca
Progetti di ricerca
Progetti finanziati da contratti commerciali
- Sistemi ICT per applicazioni industriali, (2023-2024) - Responsabile Scientifico
Prestazione di Servizi commerciale - Sistemi ICT per applicazioni industriali , (2023-2024) - Responsabile Scientifico
Prestazione di Servizi commerciale - Metodologie Innovative di Progettazione, Validazione e Test, applicate a sistemi embedded Hardware e Software, in ambito automotive, (2017-2018) - Responsabile Scientifico
Ricerca Commerciale
Dottorandi
- Lorenzo Cardone. Corso in Ingegneria Informatica E Dei Sistemi (38o ciclo, 2022-in corso)
- Andrea Calabrese. Corso in Ingegneria Informatica E Dei Sistemi (36o ciclo, 2020-in corso)
Pubblicazioni
Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris
- 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 - Angione, Francesco; Appello, Davide; Bernardi, Paolo; Calabrese, Andrea; Quer, Stefano; ... (2023)
A Toolchain to Quantify Burn-In Stress Effectiveness on large Automotive System-on-Chips. In: IEEE ACCESS, vol. 11, pp. 105655-105676. ISSN 2169-3536
Contributo su Rivista - Orlando, Matteo; Bottaccioli, Lorenzo; Quer, Stefano; Poncino, Massimo; Vinco, Sara; ... (2023)
A Framework for Economic and Environmental Benefit Through Renewable Energy Community. In: IEEE SYSTEMS JOURNAL, vol. 17, pp. 5626-5635. ISSN 1932-8184
Contributo su Rivista - Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano (2006)
Stepping forward with interpolates in unbounded model checking. In: 2006 International Conference on Computer-Aided Design, ICCAD, San Jose, CA (USA), 2006, pp. 772-778. ISBN: 978-1-59593-389-8
Contributo in Atti di Convegno (Proceeding) - Quer, Stefano; Lavagno, Luciano; Cabodi, Gianpiero; Sentovich, Ellen; Camurati, Paolo ... (1996)
Incremental re-encoding for symbolic traversal of product machines. In: Proceedings of the 1996 European Design Automation Conference with EURO-VHDL'96 and Exhibition, Geneva (Switz.), 16-20 September 1996, pp. 158-163
Contributo in Atti di Convegno (Proceeding)