STEFANO QUER

Confirmed Associate Professor

+39 0110907076 / 7076 (DAUIN)

Stefano Quer received an M.S. degree in Electronic Engineering from Politecnico di Torino in 1991 and a Ph.D. degree in 1996.

In 1994-1995 he was Visiting Faculty with the Department of Electronic Engineering and Computer Science of the University of California in Berkeley.

In 1998 he was with the "Advanced Technology Group'', at Synopsys Inc., Mountain View, California, and in 1999 with the "Alpha Development Group'', at Compaq Computer Corporation, Shrewsbury, Massachusetts, USA.

In 2000 he was a Compaq Computer Corporation consultant.

He was Assistant Professor with the Department of Control and Computer Engineering of Politecnico di Torino, Torino, Italy and he is now Associate Professor with the same institution.

His research interests include systems and tools for CAD for VLSI, simulation and testing of digital systems, formal methods for hardware and software systems, and embedded

systems.

Other activities focus on the development of sequential and concurrent algorithms and on optimization techniques able to achieve acceptable solutions with limited resources.

He took part in several Italian and European projects.

He co-authored papers in refereed journals, in international refereed conferences, and international conferences without referees.

He received the Best Paper Award at the IEEE European Design Automation Conference in 1994 (EURO-DAC'94).

He served as a reviewer for international conferences and different international journals.

He is a member of the Technical Program Committee for the DATE and ICSOFT conferences.

He is a member of the Topical Advisor Panel of Sensors MDPI.

Scientific branch	ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI (Area 0009 - Ingegneria industriale e dell'informazione)

Identifiers	ORCID: 0000-0001-6835-8277

Research topics	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

Skills and keywords	ERC sectors 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 Keywords Binary decision diagrams Bounded model checking Concurrent computing Formal methods Formal verification Graphs Model checking Parallel processing Satisfiability

Skills and keywords

ERC sectors

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

Keywords

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

Scientific responsibilities and other assignments	Awards and Honors Best-Paper Awards conferred by IEEE EURO-DAC94 (1994) Conferences DATE'22/ K.I.T. Group GmbH Dresden, DE, Belgio, 16-23/3/2022, Program committee ICSOFT 2021/ INSTICC (Institute for Systems and Technologies of Information, Control and Communication), regione non valida o sconosciuta, 6-8/7/2021, Program committee DATE'21/ K.I.T. Group GmbH Dresden, DE, regione non valida o sconosciuta, 1-5/2/2021, Program committee DATE'20/ K.I.T. Group GmbH Dresden, DE, Francia, 9-13/3/2020, Program committee

Scientific responsibilities and other assignments

Awards and Honors

Best-Paper Awards conferred by IEEE EURO-DAC94 (1994)

Conferences

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