جست‌وجوی استاد و پژوهشگر

• Functional Safety
• Functional Testing
• Microprocessor Testing
• +۹ مورد دیگر

Riccardo Cantoro is an Associate Professor in the Department of Control and Computer Science (DAUIN) at Politecnico di Torino, where he is a member of the College of Computer, Film and Mechatronics Engineering and the College of Mechanical, Aerospace and Automotive Engineering. He is affiliated with the CAD - Electronic CAD & Reliability Group and the CARS@PoliTO Interdepartmental Center for Automotive Research and Sustainable Mobility. His work bridges academic research and industrial applications through multiple commercially funded projects. Scientific Disciplinary Sector: IINF-05/A - Information Processing Systems ERC Sectors: PE7_4, PE6_2, PE6_11, PE6_12 His research focuses on functional safety, functional testing, and microprocessor testing, with a strong emphasis on embedded systems and reliability. He applies machine learning and formal methods to enhance test efficiency and system robustness, particularly in automotive and safety-critical domains. His work integrates computer-aided design, fault modeling, and resilience assessment in both hardware and AI systems. The recent publications highlight a trend toward data-efficient and intelligent testing methodologies, combining machine learning (e.g., TabPFN, active learning) with traditional electronic design automation. Topics include microcontroller performance screening, CNN resiliency, FeFET device testing, and system-level test optimization, reflecting a cohesive research agenda in trustworthy computing and hardware reliability. Scientific Awards: No awards explicitly mentioned in the provided texts. Advising and Grants: Dr. Cantoro supervises numerous PhD students in Computer and Systems Engineering, focusing on functional safety, test methodologies, and AI for CAD. He leads multiple industry-funded research projects, including collaborations with Infineon Technologies and Dana-TM4 Italia, on topics such as ATPG tools, speed monitor modeling, and power module reliability. His role as Scientific Manager/Head underscores his leadership in applied research and technology transfer. Labs and Teams: He is a core member of the CAD - Electronic CAD & Reliability Group (DAUIN) and contributes to the CARS@PoliTO center, fostering interdisciplinary research in automotive systems and sustainable mobility.

• Formal Methods
• Formal Verification
• Binary Decision Diagrams
• +۷ مورد دیگر

Paolo Enrico Camurati is a Full Professor in the Department of Control and Computer Engineering (DAUIN) at the Polytechnic University of Turin, where he contributes to research and teaching in formal methods and hardware verification. He is a member of the Formal Methods (FM) research group and has been actively involved in PhD supervision in the Computer and Systems Engineering program. His research interests include formal verification, binary decision diagrams, SAT solvers, electronic CAD, and the formal verification of hardware design correctness. These areas align with theoretical computer science and cyber-physical systems, contributing to advancements in reliable computing systems. Recent publications (2022–2024) show a strong focus on model checking techniques, interpolation-based learning, and optimization of binary decision diagrams for machine learning applications, indicating active and impactful research in formal methods and EDA. He has taught core computer engineering courses such as Specification and Simulation of Digital Systems , Algorithms and Data Structures , and Programming Techniques at both bachelor's and master's levels, supporting quality education in computing disciplines. He has no listed scientific awards in the provided material. Prof. Camurati advises PhD students in the Computer and Systems Engineering program and has taught extensively across multiple academic years. While specific grants are not mentioned, his ongoing research output suggests active funding and project involvement. He is a key member of the FM - Formal Methods Group (DAUIN), which drives research in formal verification and automated reasoning. The FM - Formal Methods Group (DAUIN) serves as his primary research lab, focusing on theoretical and applied aspects of formal verification, model checking, and decision diagram technologies.

Stefano Querمشاهده پروفایل

دانشیار

• Computer Science
• Electrical Engineering
• Formal Methods
• +۷ مورد دیگر

Stefano Quer is an Associate Professor at the Department of Control and Computer Science (DAUIN), Politecnico di Torino. He holds a PhD in Electronic Engineering from the same institution and has been affiliated with DAUIN since 1996. Researcher (1996-2000) Associate Professor (2000-present) Visiting Faculty at UC Berkeley (1994-1995) Research Interests His work spans Formal Verification BDD/SAT Techniques Embedded Systems Hardware/Software Co-Verification Parallel Computing with applications in VLSI CAD, industrial IoT, and energy-efficient systems. Recent articles focus on GPU-accelerated graph algorithms, wireless sensor calibration, and AI-driven test optimization. Scientific Awards Best Paper Award, IEEE EURO-DAC'94 Academic Contributions Supervised PhD students Lorenzo Cardone and Andrea Calabrese Member of DATE, ICSOFT Technical Program Committees Topical Advisor for Sensors MDPI 60+ publications in IEEE/ACM venues

Valeria Cardelliniمشاهده پروفایل

دانشیار

• Distributed Computing Systems
• Cloud Computing
• Edge Computing
• +۳ مورد دیگر

Valeria Cardellini is an Associate Professor in Computer Engineering at the University of Rome Tor Vergata, with a PhD in Computer Science and Automation Engineering (2001). Her research focuses on distributed computing systems, particularly cloud-based and edge-based systems, with emphasis on resource provisioning, self-adaptation, and QoS-driven optimization. She has published over 90 peer-reviewed papers, including award-winning works at IEEE SOSE and ACM DEBS conferences, and has led collaborations in EU projects like EoCoE (2015-2018) and the Cloud for Europe tender (2016-2017). She has organized major events such as UCC 2018 and contributed to workshops like Auto-DaSP. Teaching includes distributed systems, cloud computing, and computer architectures at both undergraduate and graduate levels. Education: PhD in Computer Science and Automation Engineering (2001), University of Rome Tor Vergata Previous academic qualifications not explicitly listed Research Interests: Her work spans geo-distributed systems, serverless computing, edge-cloud continuum optimizations, and reinforcement learning for adaptive systems. Key areas include energy-efficient scheduling, fault-tolerant architectures, and QoS-aware service composition. Recent projects address scalability challenges in data stream processing and cybersecurity for distributed environments. Awards & Recognition: Best Paper Awards at IEEE SOSE 2011, ACM DEBS 2015, and ACM DEBS 2016 Keynote Speaker at IEEE MASCOTS 2016 Grants & Projects: Led EU H2020 projects (EoCoE), contributed to the European Cloud tender, and managed COST Action IC1304 (ACROSS). Current research involves cloud-edge continuum frameworks like Serverledge and FIGARO. Labs & Teams: Active in developing experimental platforms such as MOSES (for self-adaptation testing) and OpenCoarrays (coarray Fortran frameworks). Collaborates with interdisciplinary teams on HPC, distributed systems, and cybersecurity.

• Formal verification
• Model checking
• Binary decision diagrams
• +۷ مورد دیگر

Gianpiero Cabodi is an Associate Professor in the Department of Control and Computer Science (DAUIN) at the Polytechnic of Turin, where he is also a member of the University Internship Commission. He is actively involved in teaching and research within the College of Computer, Film and Mechatronics Engineering. Research Interests: His research spans formal verification, model checking, binary decision diagrams, SAT solvers, embedded system design, and cybersecurity. His work emphasizes formal methods for ensuring correctness and security in hardware and software systems, particularly in safety-critical and automotive applications. Recent Publications: His 2024 publications demonstrate a strong focus on optimizing formal verification techniques. He explores interpolation-based improvements in bounded model checking, hardware model checking algorithms, and the use of binary decision diagrams in interpretable machine learning—highlighting a convergence of formal methods with modern AI interpretability and hardware verification. Teaching and Leadership: He has served as a course instructor for advanced data structures in Python, systems programming, and algorithms. He has also directed several doctoral programs in Computer and Systems Engineering. His leadership extends to research projects such as REBECCA and OSMOSIS, and he has chaired international workshops including FMCAD and DIFTS. Research Projects: REBECCA (2023–2026): Scientific Head of Structure, focusing on reconfigurable platforms for secure AI. OSMOSIS (2008–2010): Scientific Responsible for EU-funded codesign of embedded systems. Multiple commercial research projects on embedded systems in automotive, RFID traceability, cybersecurity, and HMI design (2008–2025). Advising and Grants: While no formal students are listed, he has supervised numerous research projects, often as Scientific Manager or Responsible, funded by both EU programs and industry contracts. His work bridges academic research and industrial applications, particularly in automotive and embedded domains. Labs and Teams: He is a key member of the FM - Formal Methods (DAUIN) research group, which focuses on formal verification techniques for digital systems.

• Autonomous Driving Systems
• Software Reliability Engineering
• Hardware Fault Tolerance
• +۳ مورد دیگر

Jacopo Sini is a Research Fellow at the Department of Automatic Control and Computer Science (DAUIN) of the Polytechnic University of Turin. His research focuses on safety-critical automotive systems, software reliability engineering, and emotion recognition. He collaborates on Master's courses related to model-based software design and autonomous vehicles. He is affiliated with the CAD - Electronic CAD & Reliability Group, contributing to projects involving ISO26262 compliance, hardware fault tolerance, and simulation methodologies. His work includes developing real-time driver monitoring systems and enhancing social acceptance of autonomous vehicles through emotion analysis. Key research outputs include studies on control flow checking for automotive embedded systems, emotion recognition algorithms, and test benches for hardware failure diagnostics. Recent publications explore Rust programming language safety features and AR-based educational platforms.

• Artificial Intelligence
• Automated Reasoning
• Formal Methods
• +۳ مورد دیگر

Maria Paola Bonacina is a Full Professor at the Department of Computer Science, University of Verona. She leads the ARLette (Automated Reasoning Laboratory) research group and co-leads the Artificial Intelligence research group. Her office is located at Ca' Vignal 2, Floor 1, Room 73. Her research focuses on symbolic reasoning and automated deduction within artificial intelligence, specializing in conflict-driven theorem proving, satisfiability modulo theories (SMT), formal verification of software/hardware systems, proof interpolation, and parallel reasoning algorithms. Key applications include program verification, model checking, and intelligent system design. She serves on departmental governance bodies including the PhD Council for Computer Science and Department Council. Her teaching includes graduate courses on Automated Reasoning, Software Verification, and Planning & Reinforcement Learning.

• Sleep Analysis
• Fault Injection
• Fault Tolerance
• +۷ مورد دیگر

Massimo Violante is a Tenured Associate Professor at the Department of Control and Computer Engineering (DAUIN) , Politecnico di Torino. He serves as Deputy Director of the Polytechnic School and holds leadership roles in multiple research centers including the Interdepartmental Center PEIC (Power Electronics Innovation Center) and the Spin-Off/Start-Up Evaluation Commission . With expertise in embedded systems , functional safety , and sleep analysis , he bridges automotive engineering with biomedical applications through his research. Scientific Branch: IINF-05/A - Information Processing Systems ERC Sectors: PE7_11 (Components/Applications), PE6_1 (Computer Architecture), PE6_3 (Software Engineering) SDG Alignment: Goal 3 (Health) and Goal 9 (Innovation) His research focuses on fault tolerance , driver safety aid systems , and functional safety standards like ISO26262. He leads groundbreaking work in real-time sleep prediction and automotive electronics reliability , including patented solutions for drowsiness detection and safety-critical systems . Recent projects span from GreenChips-EDU (education ecosystem for sustainable microelectronics) to HiEFFICIENT (wide band gap power electronics for electric vehicles). Violante has supervised numerous PhD students including Sara Groppo (health monitoring for newborns), Michele Guagnano (sleep monitoring), and Pietro D'Agostino (Industrial IoT solutions). He has received prestigious recognition including the IEEE Best Paper Award (2005) and leadership roles as Program Chair for major symposiums like the IEEE European Test Symposium . His teaching portfolio includes foundational courses in Model-based Software Design , Operating Systems for Embedded Systems , and Technologies for Autonomous Vehicles . Major Projects: EU-funded: Cynergy4MIE (2024-2027), ShapeFuture (2024-2027), A-IQ Ready at EDGE (2023-2025) Nationally/Regionally funded: EMC2 (2014-2017), MIE (2014-2017), FELIX (2007-2010) Commercial contracts: Automotive Academy (2019-2020), Vodafone IoT Academy courses (2019-2021), Smartwatch-based drowsiness detection systems As a prolific inventor, he holds multiple international patents in driver state monitoring , microsleep prediction , and emergency intervention analysis . His work demonstrates a unique convergence of automotive engineering , biomedical applications , and high-reliability computing .

Andrea Alexander Janesمشاهده پروفایل

دانشیار

• Software Engineering
• Agile Methodologies
• Empirical Software Engineering
• +۴ مورد دیگر

Andrea Alexander Janes is an associate professor at the Free University of Bozen-Bolzano, Italy, and an adjunct professor at the University of Oulu. He previously held positions at FHV Vorarlberg University of Applied Sciences and the Free University of Bozen-Bolzano. His research focuses on software engineering methodologies, including Lean/Agile approaches, value-based software engineering, empirical studies, and technology transfer. He holds a Master's in Business Informatics from TU Vienna and a PhD in Computer Science (with distinction) from the University of Klagenfurt, followed by a habilitation in Computer Science. Education: PhD in Computer Science, University of Klagenfurt, Austria (with distinction) Master’s in Business Informatics, TU Vienna, Austria Completed habilitation in Computer Science Research interests include software development processes, quality assurance, empirical software engineering, and microservices architecture. He has organized and chaired numerous international conferences and workshops, including ECSA 2026, ICSE 2025, and ESOCC 2025. His teaching spans courses in software engineering, operating systems, and agile methodologies at both bachelor’s and master’s levels. Key research projects include TeleCareHub (2022–2026), ADVERB (2019–2022), and SQuaSME (2016–2017). He collaborates with industry partners, focusing on applications like healthcare, sports analytics, and energy-efficient systems. His work emphasizes bridging academic research with practical industry needs through technology transfer and student engagement. Labs/Teams: Active in the NOI Techpark and collaborates with local IT companies, fostering student-industry interaction through events like the Reality Check series.

• Algorithms
• Formal Verification
• Hardware Model Checking
• +۴ مورد دیگر

Paolo Pasini is a Fixed-term Assistant Professor at the Department of Electronics and Telecommunications (DET) within Politecnico di Torino. His academic roles span teaching and research, with a focus on algorithms, formal verification, and hardware optimization. Scientific Branch: IINF-01/A - Electronics (Area 0009 - Industrial and Information Engineering) ERC Sectors: Algorithms, Software Engineering, Theoretical Computer Science, Web Systems Research interests center on hardware model-checking algorithms, portfolio-based verification engines, pre-simplification steps, circuit manipulation, and interpolation-based techniques. His recent publications highlight applications in FPGA optimization, edge computing, and machine learning classification. 2025: Low-Power Subgraph Isomorphism at the Edge Using FPGAs 2025: NN2FPGA: Optimizing CNN Inference on FPGAs 2024: Bounded Model Checking with Interpolation Teaching roles include: PhD: Data Structures in Python (2022/23) Master’s: Edge Computing Systems for AI and ML (2023/24-2025/26), Modeling and Optimization of Embedded Systems (2023/24-2024/25) Bachelor’s: Digital Electronic Design (2024/25-2025/26), Algorithms and Data Structures (2019/20-2022/23)

• Computer Architecture
• High Performance Computing
• GPU Programming
• +۵ مورد دیگر

Josie Esteban Rodriguez Condia is a Fixed-term Assistant Professor in the Department of Control and Computer Engineering (DAUIN) at Politecnico di Torino. She is a member of the CARS@PoliTO Interdepartmental Center - Center for Automotive Research and Sustainable Mobility and serves as an invited member of both the College of Electronic, Telecommunications, and Physics Engineering and the College of Computer, Film, and Mechatronics Engineering. Her research focuses on computer architecture reliability, particularly in GPU and AI accelerator systems. Key areas include functional testing, general purpose graphics processing units (GPGPUs), hardware accelerators, hardware architecture, and parallel processing. Her work addresses critical challenges in reliability assessment of AI-based automotive systems, self-test libraries for tensor cores, and hardening techniques for neural networks on GPUs. Her recent publications demonstrate a strong trend toward reliability engineering for AI hardware, with particular emphasis on automotive applications and GPU-based neural network implementations. The research spans fault injection methodologies, error modeling, and architectural solutions to enhance system resilience against soft errors and permanent faults. Dr. Rodriguez Condia actively supervises PhD students including Gustavo Vilar De Farias, Giuseppe Esposito, and Robert Alexander Limas Sierra, all working on reliability evaluation and enhancement of neural networks. She is a member of the PNRR Research Group for the National Center for HPC, Big Data and Quantum Computing (2022-2025). She teaches multiple courses including GPU Programming and High Performance Computing for both Computer Engineering and Quantum Engineering programs. Her editorial work includes serving as Guest Editor for APPLIED SCIENCES in 2024.

• Language-based Security
• Compilers
• Formal Verification
• +۴ مورد دیگر

Letterio Galletta is an Assistant Professor of Computer Science at IMT School for Advanced Studies Lucca, within the SySMA research unit. Previously, he held a postdoctoral researcher position at the University of Pisa's Department of Computer Science and earned his Ph.D. in Computer Science from the University of Pisa in 2014. His research focuses on language-based security, leveraging programming languages, compilers, and formal verification to address security challenges in adaptive software, IoT, firewalls, and blockchain technologies. Key research areas include secure compilation, access control policy analysis, smart contract formal models, and static analysis techniques. His work bridges theoretical foundations with practical applications, such as securing satellite communication systems (IRIS2) and enhancing firewall policy enforcement. Publications highlight contributions to blockchain transaction parallelism, IoT security metrics, and formal methods for SELinux configurations. He actively contributes to tools like FWS (Firewall Synthesizer) and VeriOSS for bug bounty protocols. His research emphasizes interdisciplinary approaches, combining cybersecurity with distributed systems and embedded computing.