STEFANO QUER
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 |
|
---|
Competenze |
Settori ERCPE6_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 computingSDGGoal 9: Industry, Innovation, and Infrastructure Goal 4: Quality education Goal 10: Reduced inequalitiesParole chiave libereBinary 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
Congressi
|
---|