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. 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
Corso di laurea di 1° livello
- 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
Ricerca
Gruppi di ricerca
Progetti di ricerca
Progetti finanziati da contratti commerciali
- Sistemi ICT per applicazioni industriali, (2024-2025) - Responsabile Scientifico
Prestazione di Servizi commerciale - 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)
Tesi: New Programming Paradigms for Optimization
Pubblicazioni
Pubblicazioni più recenti Vedi tutte le pubblicazioni su 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