Stefano Quer

Prof. Associato Confermato
Dipartimento di Automatica e Informatica (DAUIN)

Profilo

Interessi di ricerca

Binary decision diagrams
Bounded model checking
Concurrent computing
Formal methods
Formal verification
Graphs
Model checking
Parallel processing
Satisfiability

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

ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
(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

PE6_6 - Algorithms, distributed, parallel and network algorithms, algorithmic game theory
PE6_2 - Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems
PE6_12 - Scientific computing, simulation and modelling tools
PE6_4 - Theoretical computer science, formal methods, and quantum computing

SDG

Goal 4: Quality education
Goal 9: Industry, Innovation, and Infrastructure
Goal 10: Reduced inequalities

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

MostraNascondi A.A. passati

Corso di laurea di 1° livello

MostraNascondi A.A. passati

Ricerca

Gruppi di ricerca

Progetti di ricerca

Progetti finanziati da contratti commerciali

Dottorandi

  • Lorenzo Cardone. Corso in Ingegneria Informatica E Dei Sistemi (cycle 38, 2022-in corso)
  • Andrea Calabrese. Corso in Ingegneria Informatica E Dei Sistemi (cycle 36, 2020-in corso)

Pubblicazioni

Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris