STEFANO QUER

Scarica il contatto come vcard Foto

Prof. Associato Confermato

+39 0110907076 / 7076 (DAUIN)

Pagina web personale

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)
Identificativi ORCID: 0000-0001-6835-8277
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

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 9: Industry, Innovation, and Infrastructure Goal 4: Quality education Goal 10: Reducing inequalities

Parole chiave libere

Binary decision diagrams Bounded model checking Concurrent computing Formal methods Formal verification Graphs Model checking Parallel processing Satisfiability
Responsabilità scientifiche e altri incarichi

Premi e riconoscimenti

  • Best-Paper Awards conferito da IEEE EURO-DAC94 (1994)

Congressi

  • DATE'22/ K.I.T. Group GmbH Dresden, DE, Belgio, 16-23/3/2022, Program commitee (membro del comitato scientifico)
  • ICSOFT 2021/ INSTICC (Institute for Systems and Technologies of Information, Control and Communication), regione non valida o sconosciuta, 6-8/7/2021, Program commitee (membro del comitato scientifico)
  • DATE'21/ K.I.T. Group GmbH Dresden, DE, regione non valida o sconosciuta, 1-5/2/2021, Program commitee (membro del comitato scientifico)
  • DATE'20/ K.I.T. Group GmbH Dresden, DE, Francia, 9-13/3/2020, Program commitee (membro del comitato scientifico)