STEFANO QUER

Prof. Associato Confermato

+39 0110907076 / 7076 (DAUIN)

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: Reduced inequalities Parole chiave libere Binary decision diagrams Bounded model checking Concurrent computing Formal methods Formal verification Graphs Model checking Parallel processing Satisfiability

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: Reduced 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)

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)