Find Academic Supervisors

• Static Program Analysis
• Verification of Communication Protocols
• Formal Methods
• +3 more

Gilberto File serves as a Professor of Computer Science within the Department of Mathematics at the University of Padova. His academic appointment integrates computer science research and teaching into the mathematical sciences framework of the university. His research expertise spans Static Program Analysis , Verification of Communication Protocols , Formal Methods , and Software Reliability . These interconnected fields employ mathematical logic to verify software correctness, with particular emphasis on abstract interpretation techniques for analyzing program behavior and security properties. Professor File's publication record from 1998-2009 reveals a cohesive research trajectory centered on theoretical foundations of program analysis. The work demonstrates consistent application of abstract interpretation to logic programming systems and security protocols, evolving from fundamental operator theory (1998-1999) toward practical verification applications (2004-2009). This progression highlights his contribution to bridging theoretical computer science with software reliability engineering. No scientific awards were documented in the available sources. Information regarding student supervision, current research grants, or laboratory resources was not provided in the source materials. His teaching activities as of 2011-2012 included foundational programming courses for both undergraduate and graduate computer science students.

Patrizia ScandurraView profile

Professor

• Software Architecture
• Formal Methods
• Self-adaptive Systems
• +3 more

Patrizia Scandurra is a Professor at the University of Bergamo, Italy. She has held significant roles including Co-chair of the Doctoral Symposium-track at ECSA 2020, Program Co-Chair for multiple conferences, and is a member of steering and organizing committees for various international software engineering events. Her research focuses on Software Architecture, Formal Methods, Self-adaptive Systems, and Cyber-Physical Systems. She has contributed to frameworks like ASMETA and RAMSES, emphasizing rigorous system design and safety assurance. Her work spans formal specification, model-based testing under uncertainty, and adaptive systems for diverse applications such as automotive systems, medical devices, and smart cities. She has published extensively on topics like self-adaptation under model uncertainty, microservices resilience, and anomaly detection in urban infrastructure. Patrizia’s contributions include conference organization across ECSA, ASE, ICSE, and SEAMS, reflecting her leadership in advancing software architecture theory and practice. Her research bridges formal methods with real-world applications, addressing challenges in autonomous systems and digital twin integration.

• Computer Science
• Artificial Intelligence
• Distributed Systems
• +3 more

Giacomo CABRI is a Full Professor at the University of Modena and Reggio Emilia, affiliated with the Department of Physical, Computer and Mathematical Sciences. His roles include teaching advanced courses such as Distributed Algorithms, Object-Oriented Programming, and Software Development Methodologies across multiple disciplines including Computer Science, Mathematics, and Medicine. His research focuses on distributed systems, autonomous vehicles, smart cities, and digital twins, with a strong emphasis on applying AI and machine learning to real-world challenges. He actively contributes to academic communities through editorial roles and conference organization. Research interests span distributed algorithms, multi-agent systems, smart infrastructure, and socio-technical systems. His work bridges theoretical foundations with practical applications in transportation, manufacturing, and environmental monitoring. Recent publications highlight innovations in autonomous vehicle coordination, digital twin implementations, and context-aware systems. Teaching responsibilities include courses for Computer Science, Mathematics, and interdisciplinary programs such as Medicine and Dentistry. He integrates hands-on labs and project-based learning, emphasizing practical software development and algorithm design. His courses cover topics like object-oriented programming in Java, distributed systems, and big data architectures. Professional activities include organizing workshops on adaptive computing and collective intelligence, and leading projects like the FIRST initiative for virtual factories. His work addresses challenges in interoperability, scalability, and self-adaptation in complex systems. He maintains a personal website and is active in international collaborations through platforms like ORCID (0000-0002-4942-2453).

• Parallel and Distributed Programming
• Functional Programming
• High-Level Programming Models
• +3 more

Professor Phil Trinder is a Professor of Computing Science at the University of Glasgow's School of Computing Science. He leads the Glasgow Parallelism Group (GPG) and is a member of the Glasgow Systems Section (GLASS). His research focuses on parallel and distributed programming models, functional programming, and scalable systems. Education: DPhil (Doctor of Philosophy) from the University of Oxford. Research Interests: Design and implementation of high-level distributed/parallel programming models, computational algebra applications, and collaboration with industry (Ericsson, Microsoft, etc.). Publications span over 78 works, emphasizing parallel algorithms, distributed systems, and functional programming frameworks like Erlang. Recent work explores tierless IoT architectures and reliability in distributed platforms. Grants/Projects: Principal Investigator on 12 major projects, including EU funding and EPSRC grants. Notable contributions to SD Erlang and SymGrid-Par frameworks. Labs/Teams: Glasgow Parallelism Group (GPG), GLASS section, and involvement in the Scottish Programming Languages Seminar (SPLS).

Antonio CammiView profile

Professor

• Nuclear Engineering
• Thermal Fluid Dynamics
• Fusion Energy Systems
• +4 more

Prof. Antonio Cammi is a distinguished academic focusing on advanced nuclear technologies and thermal-fluid systems. His research integrates computational modeling, experimental validation, and innovative engineering solutions for fusion energy systems, molten salt reactors, and high-performance thermal management. Key areas include gyrotron design for plasma heating, remote maintenance systems for fusion facilities, and reactor safety through multiphysics analysis. He actively contributes to international projects like JUNO (neutrino detection), IFMIF-DONES (fusion materials testing), and EU-DEMO (demonstration fusion reactor). His work bridges fundamental physics with applied engineering, addressing challenges in reactor core dynamics, fuel cycle optimization, and computational efficiency. Notable methodologies include reduced order modeling (ROM), data assimilation techniques, and hybrid simulation approaches. Cammi collaborates with institutions like ENEA (Italian National Agency for New Technologies), ITER, and the University of Pavia (TRIGA reactor). Research interests span fusion plasma physics, advanced reactor materials, neutron radiation effects, and sustainable nuclear energy economics. His team develops novel tools for reactor safety assessment, including digital twins and real-time monitoring systems. Current projects emphasize high-flux testing infrastructure, passive safety systems, and modular reactor designs for next-generation energy systems.

• Computer Architecture
• High Performance Computing
• GPU Programming
• +5 more

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.

Shane McIntoshView profile

Associate Professor

• Computer Science
• Software Engineering
• Release Engineering
• +5 more

Shane McIntosh is an Associate Professor at the David R. Cheriton School of Computer Science, University of Waterloo. He leads the Software Repository Excavation and Build Engineering Labs (Software REBELs), focusing on empirical studies of historical data in large-scale software development. Research: Specializes in release engineering (assembling, verifying, and delivering software releases) and software quality (deriving guidelines for reliable systems). Teaching: Has taught courses like ECSE 321 (Introduction to Software Engineering), ECSE 611 (Software Analytics), and ECSE 437 (Software Delivery). Service: Organized key conferences (e.g., ICSE 2022, PROMISE 2021–2022) and served as Senior Associate Editor for the Journal of Systems and Software (2019–Present). Labs: Leads the Software REBELs lab, emphasizing software repository analysis and build engineering.

Andrea StoccoView profile

Assistant Professor

• Software Testing
• Deep Learning
• Autonomous Driving Systems
• +4 more

Andrea Stocco is an Assistant Professor at the Technical University of Munich (TUM) within the Chair of Software Engineering for Data-Intensive Applications and the School of Computation, Information and Technology , while also serving as Head of the Automated Software Testing Field of Competence at fortiss GmbH in Munich. His research bridges software engineering and deep learning, focusing on enhancing the robustness, reliability, and dependability of data-intensive systems, particularly in autonomous driving and web applications. Key research areas: Testing AI-based systems, autonomous driving validation, computer vision for software engineering, web test automation, and reliability of DL systems Notable awards: IEEE Computer Society TCSE Distinguished Paper Award (2025), ACM SIGSOFT Distinguished Artifact Award (2020), Best Presentation Award at NEXTA 2021 Leadership roles: Program Chair for ASE 2024 (Research Track), ICSE 2024 (Demonstration Track), and SCAM 2024 (Research Track) Editorial involvement: Empirical Software Engineering journal (2025), Journal of Software: Evolution and Process (2024), ACM TOSEM Replicated Computational Results Distinguished Reviewers Board His work explores techniques like anomaly detection, uncertainty quantification, and attention maps to improve safety-critical systems' testing. Recent publications examine digital twins for autonomous driving, generative AI in test input generation, and the reality gap between virtual and physical testing environments. Andrea actively contributes to conference program committees in software engineering and testing, including ASE, ICSE, FSE, and ICST.

Federico BergentiView profile

Associate Professor

• Artificial Intelligence
• Software Engineering
• Multi-agent Systems
• +4 more

Federico Bergenti is an Associate Professor in Computer Science at the University of Parma, affiliated with the Department of Industrial Systems and Technologies Engineering (DISTI) and the Department of Mathematics, Physics, and Computer Science. He serves as Chair of the AI Lab since 2015 and is actively involved in teaching Artificial Intelligence, Software Engineering, and related courses across multiple degree programs. His educational background includes a Laurea degree (M.Sc.) in Electronic Engineering from the University of Parma (1998) and a Ph.D. in Information Technologies from the same institution (2002). Prior to his academic career, he worked at CSELT S.p.A. (1998-1999) and CNIT (2000-2006). Bergenti's research primarily focuses on Artificial Intelligence and Software Engineering, with special emphasis on multi-agent systems. His work spans agent communication languages, architectures for agent-based middleware, reusability in agent systems, and more recently, agent programming languages based on constraint logic programming. He is among the founders of the JADE initiative and remains active in the Agent-Oriented Software Engineering research community. Analysis of his recent publications reveals a consistent research trajectory centered on agent-oriented programming (particularly JADEScript), indoor positioning systems, neural-symbolic integration, and mathematical modeling of multi-agent dynamics using kinetic theory approaches. His work demonstrates strong interdisciplinary connections between computer science, mathematics, and engineering applications. Professionally, Bergenti has coordinated various scientific initiatives, served on the Senior Program Committee of the AAMAS international conference since 2006, hosted the IEEE WETICE conference in Parma in 2014, and served as Program Chair for WETICE 2016. He has participated in numerous European Commission-funded research projects under the 5th and 6th Framework Programmes. He leads the AI Lab at the University of Parma, where his team develops practical applications of agent-based systems, including indoor localization technologies, health assistance systems, and social network modeling. His research combines theoretical foundations with real-world implementations, particularly through the JADE multi-agent framework.

• Biometrics
• Fingerprint Recognition
• Security Systems
• +3 more

Raffaele Cappelli is an Associate Professor at the Department of Computer Science and Engineering, University of Bologna. His research focuses on fingerprint biometrics, emphasizing anti-spoofing, segmentation, and synthetic data generation. He contributes to the Fingerprint Verification Competition (FVC) and has pioneered tools like SFinGe for synthetic fingerprint databases. His work addresses security vulnerabilities in biometric systems and forensic applications. Education and affiliations include roles at the University of Bologna, with expertise in computer science and engineering. His research integrates machine learning, pattern recognition, and hardware acceleration to enhance biometric system performance and reliability. Key areas of study include presentation attack detection, fingerprint orientation estimation, and large-scale database management. He has authored over 70 publications, with notable contributions to forensic science and secure authentication protocols.

• Embedded Systems
• Fault Tolerance
• Precision Agriculture
• +5 more

Maurizio Rebaudengo is a Full Professor at the Department of Control and Computer Science (DAUIN) of the Polytechnic University of Turin. He is a member of the PIC4SeR Interdepartmental Center for Service Robotics and holds expertise in embedded systems, fault tolerance, and sensor network applications. Research Interests: Embedded systems, fault tolerance, precision agriculture, RFID technology, wireless sensor networks, and system dependability Scientific Awards: Ramamoorthy Best Paper Award (1997) Leadership Roles: Program Chair for the 4th International EURASIP Workshop on RFID, Committee Member for Public Administration Agreements (2020-2024) Projects: Scientific Director for HONEY (Hybrid ONline tEchnologY for particle therapy), FDM (Food Digital Monitoring), IDEM (Internet of Data for Environmental Monitoring), and OPLON (Healthy Longevity Opportunities). Teaching: Course lecturer for Electronic Calculators, Computer Science, Systems Programming, and Cybersecurity at both undergraduate and postgraduate levels. His work spans IoT applications in agriculture and healthcare, focusing on low-cost sensor networks , RFID-based traceability , and cyber-physical system resilience . Recent publications emphasize particulate matter monitoring and secure communication protocols in wireless environments.

• Approximate computing
• Bayesian networks
• Cybersecurity
• +7 more

Alessandro Savino is an Associate Professor at the Department of Control and Computer Engineering (DAUIN) of Politecnico di TORINO. He serves as an academic advisor for Bachelor’s and Master’s degree programs in Computer Engineering (Ingegneria Informatica) and contributes to PhD programs in Artificial Intelligence and Computer Engineering. Research Interests: Approximate computing, Cybersecurity (including automotive systems), Dependability, Parallel computing, Reliability analysis, and Neuromorphic architectures. Key Projects: Leads RESCHIP4EU (2024-2028), NEUROPULS (2023-2027), and commercial contracts focused on real-time OS validation and avionics design. Publications: Recent work spans hardware security (e.g., VeriSide for leakage assessment), spiking neural networks (SpikeExplorer, SpikingJET), and automotive cybersecurity (CARACAS, CAN-MM). Teaching: Instructs courses on Parallel and Distributed Computing, Hardware & Wireless Security, and System Programming across Politecnico di TORINO and Scuola IMT Alti Studi - LUCCA. Research Group: Leads the SMILIES group, focusing on resilient computer architectures and life sciences.

Luca FanucciView profile

Professor

• Integrated Circuit Design
• Embedded Systems
• System-Level Design
• +7 more

Professor Luca Fanucci is a Full Professor of Electronics at the Department of Information Engineering , University of Pisa. He serves as Rector's Delegate for Inclusion of Students with Disabilities and leads research in integrated circuits, embedded systems, and assistive technologies . Institutional roles include membership in the National University Conference of Delegates for Disability (CNUDD) and leadership in the PhD program in Information Engineering. Born: Montecatini Terme (1965) Education: Laurea in Electronic Engineering (1992), PhD in Information Engineering (1996), University of Pisa Professional Journey: ESA research (1992-1996), CNR researcher (1996-2004), University of Pisa faculty (2004-present) His research focuses on: System-level design of integrated circuits and embedded systems Hardware-software co-design for low power consumption Spacecraft and satellite communication systems Medical devices and telemonitoring platforms Assistive technologies for disabilities Recent publications highlight AI in space applications and telemedicine systems . Key projects include the Ingeniars spin-off for satellite communications and the AsTech National Laboratory for assistive technologies. Scientific Recognition : IEEE Fellow (2019) 40+ patents H-index 34 (5000+ citations) He coordinates international conferences (DATE, HiPEAC, Spacewire) and serves as Associate Editor for Technology and Disability and Microprocessors and Microsystems journals.

• 3D bioprinting
• Artificial intelligence
• Bioinformatics
• +7 more

Stefano Di Carlo is a Full Professor at the Department of Control and Computer Science (DAUIN) at Politecnico di Torino. He is the Coordinator of the Doctoral School in Artificial Intelligence and a member of the PolitoBIOMed Lab and the Doctoral School Council. His research spans Artificial Intelligence , Computer Architecture , Bioinformatics , and Cybersecurity , with a focus on 3D bioprinting , hardware security , and reliability analysis . Research Interests : Approximate computing systems Cybersecurity for connected vehicles Spiking neural networks and neuromorphic hardware Multicellular synthetic biological systems Hardware-based malware detection Biomedical simulation tools Article Trends : His recent publications address approximate computing (7/15), cybersecurity (6/15), and bioinformatics (4/15). Key subtopics include RISC-V security , gradient inversion attacks , photonic computing , and real-time fault injection . Scientific Awards : Best Paper Awards at IEEE AQTR (2010, 2012), IEEE DDECS (2013), and BIOINFORMATICS/BIOSTEC (2014) IEEE Computer Society Golden Core Award (2006), Meritorious Service Award (2010) IEEE Fellow (2011-) and Senior Member Advising & Grants : He supervises 14 PhD students and leads projects like Vitamin-V (RISC-V cloud services), APROPOS (approximate computing), and SERICS (cybersecurity). His lab, SMILIES, focuses on resilient computer architectures and bioinformatics . Labs & Teams : Lab 6 - Research Laboratory (DAUIN) SMILIES - Resilient computer architectures and life sciences PolitoBIOMed Lab - Biomedical engineering

• Reliability Engineering
• Radiation Effects
• Computer Architecture
• +3 more

Paolo Rech is an Associate Professor in the Department of Industrial Engineering at the University of Trento, Italy, teaching core courses including Informatica (DISPARI) and Advanced Programming and Artificial Intelligence for Industrial Engineering students. His research spans hardware-software reliability under radiation exposure with emphasis on real-world applications. His primary research domains feature: Reliability Engineering : Pioneering fault-tolerance methodologies for radiation-prone environments Radiation Effects : Quantifying neutron/gamma impacts on GPUs, TPUs, and quantum devices Computer Architecture : Designing hardened RISC-V systems and post-CMOS accelerators AI Reliability : Developing fault-aware neural networks for safety-critical deployment Quantum Vulnerability : Characterizing error mechanisms in quantum circuits Analysis of his 15 most recent publications reveals a dominant focus on radiation-hardened computing systems, with 83% of works addressing neutron-induced faults in GPUs/TPUs and quantum devices. His methodology consistently integrates neutron beam experiments, fault injection frameworks, and architectural hardening techniques across space, medical, and autonomous systems applications. Scientific Awards: None documented in available sources. His teaching directly feeds into research supervision, with course content on C++ programming, object-oriented design, and quantum computing foundations forming the basis for student projects in fault-tolerant system development. Current grants likely support neutron irradiation testing and quantum reliability initiatives given publication patterns, though specific funding details aren't publicly itemized. He operates within University of Trento's engineering research ecosystem, collaborating with teams specializing in radiation testing and quantum computing through projects like ARCHYTAS and Trikarenos, though no dedicated lab name is specified in source materials.