Find Academic Supervisors

• Computer Engineering
• Circuit Design
• Fault Tolerance
• +6 more

Matteo Sonza Reorda is a Full Professor at the Polytechnic University of Turin, affiliated with the Department of Automatic Control and Computer Science (DAUIN). He holds roles such as Partnership Agreement Coordinator with SMAT and has served as Vice-Rector for Research (2021–2024). His research focuses on fault tolerance, hardware reliability, and AI acceleration, with contributions to GPU/CNN reliability, self-test libraries, and defect-oriented testing. Education: M.S. in Electronics Engineering, Politecnico di Torino (1986) Ph.D. in Computer Engineering, Politecnico di Torino (1990) Research Interests: His work spans automatic test equipment, circuit reliability, GPU fault tolerance, neural network hardening, and embedded systems safety . He leads the Electronic CAD & Reliability Group and collaborates with institutions like the ISI Foundation and the National Research Council (CNR). Publications & Impact: With over 180 publications, his recent work emphasizes AI accelerator reliability, fault injection techniques, and safety-critical systems. Key trends include GPU resilience for CNNs, self-test library optimization, and radiation fault modeling in neural networks. Awards & Recognition: IEEE Fellow (2016–) Multiple best-paper awards at IEEE conferences (DDECS, DATE, etc.) Grants & Collaborations: Coordinator of EU projects (RESCUE, TUTORIAL) Partnerships with EDF, Marelli Europe, and SMAT Lead on National HPC/Quantum Computing Spoke 1 (2022–2025) Labs/Teams: Leads the CAD Group and collaborates with the French-Italian LIA LAFISI lab on hardware-software integration.

Luca IocchiView profile

Professor

• Cognitive Robotics
• Task Planning
• Multi-Robot Coordination
• +6 more

Luca Iocchi is a Full Professor at Sapienza University of Rome, where he teaches in the Master in Artificial Intelligence and Robotics program. He is affiliated with the Department of Computer, Control, and Management Engineering and the Faculty of Engineering of Information, Computer Science and Statistics. Iocchi serves as an Associate Editor for Artificial Intelligence Journal and has been the scientific coordinator of Spoke of PNRR project FAIR (Future AI Research). His educational background includes: Master in Engineering in Computer Science (Laurea in Ingegneria Informatica) cum Laude, Sapienza Università di Roma, 1995 PhD in Engineering in Computer Science (Dottorato in Ingegneria Informatica), Sapienza Università di Roma, 1999 Professor Iocchi's research focuses on cognitive robotics, task planning, multi-robot coordination, robot perception, robot learning, human-robot interaction, and social robotics. His work has significant applications in security, surveillance, and environmental monitoring. He has published over 200 referred papers with an h-index of 46 (Google Scholar). His research bridges theoretical AI with practical robotic systems operating in real-world environments, with a particular emphasis on developing intelligent systems that can interact effectively with humans. His recent publications show a strong trend toward multi-agent reinforcement learning, trust modeling in human-AI teams, UAV coordination, and planning systems. There's a clear focus on making robotic systems more reliable, efficient, and capable of operating in complex real-world scenarios like healthcare facilities and smart cities. His work increasingly integrates formal planning approaches with machine learning techniques. Professor Iocchi has received numerous scientific awards: 1999 Top Paper Award WebNet'99 2006 Best Paper Award RoboCup 2006 2008 Best Robotics Demo Award AAMAS 2008 2014 Best Paper Award For Engineering Contribution RoboCup 2014 2017 RoboCup@Home SSPL 2017 - 3rd place 2018 Canada-Italy Innovation Award 2019 Best Paper Award For Engineering Contribution RoboCup 2019 As an academic advisor, Iocchi has directed the PhD Program in Engineering in Computer Science from 2020 to 2023. He has been Principal Investigator for numerous research projects including SciRoc (European Robotics League), AI4EU (European AI project), BUBBLES, AIPlan4EU, ROSITA, Trust Your Agents, and FAIR. His research has been supported by EU H2020 programs, national grants, and industry collaborations, demonstrating strong connections between academia and practical applications. Professor Iocchi is actively involved with the Cognitive Cooperating Robots Lab (LabRoCoCo) and is a key member of the RoboCup Federation, having served as Vice-President from 2019 to 2024. He has played a significant role in benchmarking domestic service robots through RoboCup@Home and the European Robotics League Service Robots (ERL-SR), which he helped establish. His leadership in organizing international scientific robot competitions has been instrumental in advancing the field of service robotics.

• Artificial Intelligence
• Computational Biology
• Graph Neural Networks
• +5 more

Pietro Liò is a Full Professor in the Department of Computer Science and Technology at the University of Cambridge, where he is also a member of the Artificial Intelligence group. His work bridges computer science and biomedical applications, with a strong focus on advancing AI methods for healthcare. Research Interests: His research is centered on developing Artificial Intelligence and Computational Biology models to unravel the complexity of diseases and support personalized and precision medicine. A current emphasis is on Graph Neural Network modeling, leveraging topological data structures to represent biological and medical systems. His interdisciplinary background enables innovative approaches at the intersection of machine learning and life sciences. The trends in his research, though no specific articles are listed, indicate a strong focus on AI-driven biomedical discovery, particularly using deep learning on structured data for health applications. This includes modeling biological networks, disease mechanisms, and patient-specific conditions through advanced neural architectures. Scientific Awards: As a principal investigator and academic leader, Pietro Liò likely supervises PhD and postdoctoral researchers and secures research grants in AI for health, though specific advisees and funding details are not mentioned in the text. His dual PhD background and affiliation with a leading AI group suggest a robust research program with significant grant involvement. He is associated with AI research activities at Cambridge, including seminars and software development, possibly contributing to or leading a research lab or initiative focused on AI applications in biology and medicine, though no formal lab name is provided beyond the general AI group membership.

Diego CalvaneseView profile

Professor

• Knowledge Representation and Reasoning
• Virtual Knowledge Graphs
• Ontology-based Data Access and Integration
• +7 more

Diego Calvanese is a Full Professor in Computer Engineering at the Faculty of Engineering of the Free University of Bozen-Bolzano, Italy. He serves as Spokesperson of the Institute of Computer Science and Artificial Intelligence and Director of the Smart Data Factory technology transfer lab at NOI Techpark. As Coordinator of the Intelligent Integration and Access to Data (In2Data) research group, part of the Research Centre for Knowledge and Data (KRDB), he leads significant research initiatives in knowledge representation and data management. Calvanese's research focuses on virtual knowledge graphs for data access and integration, ontology-based data access, description logics, semantic web technologies, graph data management, and verification of data-aware processes. His work bridges theoretical foundations with practical applications through the Ontop framework, which enables SPARQL query answering over OWL 2 QL ontologies connected to external data sources. His research has substantial practical impact, powering the South Tyrol Open Data Hub Knowledge Graph and supporting numerous European and national research projects. With more than 400 refereed publications and over 39,000 citations (h-index 80), Calvanese's recent work demonstrates continued leadership in virtual knowledge graphs, ontology-based data federation, explainable AI through knowledge representation, and integration of complex data types including 3D city models and raster data. His publications show a clear trajectory from theoretical foundations toward increasingly practical and applied research addressing real-world data integration challenges across multiple domains. ACM Fellow (2019) EurAI Fellow (2015) AAIA Fellow Program Chair of PODS 2015 and KR 2020 General Chair of ESSLLI 2016 Calvanese has secured significant research funding through numerous competitive projects including EU H2020 INFRAEOS Project (INODE), Italian PRIN Project (HOPE), FESR Project (IDEE), and EU FP7 IP Project (Optique), totaling close to 6.4M Euro. As an originator and co-founder of Ontopic, the first spin-off of the Free University of Bozen-Bolzano, he has successfully translated research into commercial applications. He serves as Associate Editor of Artificial Intelligence (AIJ) and has participated in over 200 program committee roles for international conferences. As Director of the Smart Data Factory technology transfer lab and coordinator of the In2Data research group, Calvanese bridges academic research with industry applications, focusing on practical implementations of knowledge graph technologies. His work with the KRDB Research Center has established Bozen-Bolzano as a significant hub for knowledge representation and data management research in Europe.

Silvia BonomiView profile

Associate Professor

• Cybersecurity
• Distributed Systems
• Blockchain
• +8 more

Dr. Silvia Bonomi serves as an Associate Professor in the Department of Computer, Control and Management Engineering at Sapienza University of Rome, where she has held academic positions since 2006. Her career progression includes Research Fellow (2010-2011), Tenure Track Assistant Professor (2016-2019), and current Associate Professor appointment since 2019. She maintains her office in Room B114 and is actively engaged in research and teaching within the university's engineering faculty. Her educational background includes: PhD in Computer Engineering, Sapienza University of Rome and Institut de Formation Supérieure en Informatique et Communication (IFSIC/IRISA), Rennes, France (completed under advisors Prof. Roberto Baldoni and Prof. Michel Raynal) Dr. Bonomi's research critically examines dynamic distributed systems where entities autonomously join and leave networks, with applications spanning VANETs, airborne networks, social networks, and distributed cloud services. She pioneers work in Byzantine fault tolerance for mobile environments, blockchain security with emphasis on smart contract vulnerability analysis, and resilient cybersecurity frameworks integrating human factors. Her investigations into publish-subscribe systems focus on quality-of-service enhancements, while her peer-to-peer systems research addresses fundamental connectivity challenges in large-scale decentralized environments. This interdisciplinary approach bridges theoretical distributed computing with practical cybersecurity applications. Analysis of her 15 most recent publications (2021-2024) reveals dominant trends in blockchain security (particularly smart contract vulnerability taxonomies and analysis tool efficacy) and fault-tolerant distributed systems (reliable communication under Byzantine faults in dynamic networks). Her work increasingly integrates human factors into cybersecurity models and develops visual analytics for business-centric risk assessment. Publications span top venues including IEEE CSR, OPODIS, SAFECOMP, and journals like Computers & Security, demonstrating consistent contributions to both theoretical foundations and practical cybersecurity implementations.

Chiara BodeiView profile

Associate Professor

• Computer Science
• Cybersecurity
• Formal Methods
• +4 more

Chiara Bodei is an Associate Professor at the Department of Computer Science, University of Pisa. She specializes in cybersecurity, formal methods, and programming languages. Her teaching responsibilities include courses such as 'Programming Fundamentals with Laboratory' and 'Security Methods and Verification' at both undergraduate and graduate levels. She has contributed to research in automotive cybersecurity, IoT security, and formal analysis of software systems. Her work emphasizes secure communication protocols, privacy policies in automotive data, and context-aware security mechanisms. She collaborates with industry and academia on projects related to software-defined vehicles and IoT security. Her research has been published in top-tier conferences and journals, focusing on practical and theoretical advancements in computer security and formal methods. Research Interests: Cybersecurity, Formal Methods, Automotive Systems Security, IoT Security, Programming Languages, Context-Aware Systems. She has co-authored numerous papers on topics such as vehicular communication security, secure automotive protocols, and privacy in IoT systems. Teaching: Bodei has taught courses like 'Fondamenti di Programmazione' (undergraduate), 'Security Methods and Verification' (graduate), and 'Language-Based Technology for Security' (master’s level) across multiple academic years. She emphasizes practical programming skills and theoretical foundations in her courses. Labs/Teams: Her work is supported by the Department of Computer Science labs at the University of Pisa, focusing on applied research in cybersecurity and formal systems.

Eva BlomqvistView profile

Assistant Professor

• Decision Support Systems
• Security Domain
• Crisis Management
• +3 more

Eva Blomqvist serves as an Assistant Professor in the Department of Computer and Information Science (IDA) at Linköping University, Sweden. She is actively affiliated with the MDA laboratory within the Human-Centered Systems (HCS) division, focusing on critical-domain decision support systems. Her research centers on Semantic Web technologies and ontology engineering, with specialized expertise in ontology design patterns for security and crisis management applications. She pioneered the eXtreme Design methodology for agile ontology development and contributed foundational work on ontology testing frameworks, bridging theoretical knowledge representation with real-world operational systems. Analysis of her 2009-2016 publications reveals a progressive research trajectory from foundational pattern formalization to practical engineering methodologies. Her work consistently emphasizes reusable design patterns, validation techniques, and human-centered implementation within semantic technologies, establishing her as a key contributor to ontology engineering standards. No scientific awards were documented in the source material. While student advising and grant details remain unspecified in available records, her collaborative projects indicate active research leadership in ontology development. As a core member of IDA's MDA lab (HCS division), she contributes to human-centered decision analytics research, particularly developing ontology-driven support systems for high-stakes security and crisis scenarios through projects like Networked Ontologies.

Fabrizio RiguzziView profile

Professor

• Logic Programming
• Statistical Relational Artificial Intelligence
• Probabilistic Logic Programming
• +3 more

Fabrizio Riguzzi is a Full Professor at the Department of Mathematics and Computer Science of the University of Ferrara, Italy. His academic career spans over two decades at the same institution, having served as Associate Professor (2014-2020) and Assistant Professor/Ricercatore (1999-2014). He is an active researcher in the fields of Logic Programming and Statistical Relational Artificial Intelligence with numerous publications and leadership roles in international conferences. His educational background includes: PhD in Electronic and Computer Engineering from the University of Bologna (1999) Laurea in Computer Engineering from the University of Bologna (1995) Riguzzi's research focuses on probabilistic approaches to artificial intelligence, particularly probabilistic logic programming and statistical relational AI. His work bridges symbolic reasoning with probabilistic methods, developing frameworks for uncertain knowledge representation and reasoning. He has made significant contributions to probabilistic answer set programming, neuro-symbolic integration, and applications in areas like network intrusion detection and knowledge graph completion. His research demonstrates how logical formalisms can be enhanced with probabilistic reasoning to tackle real-world problems with uncertainty. An analysis of his recent publications reveals a strong trend toward integrating neural and symbolic approaches in AI, with significant work on probabilistic answer set programming frameworks. His research spans theoretical foundations of probabilistic logic programming, practical implementations, and applications in cybersecurity, knowledge graphs, and decision-making under uncertainty. The interdisciplinary nature of his work connects computer science theory with practical AI applications. His notable awards include: Alain Colmerauer 10-Year Test-of-Time Award at ICLP 2021 Best Paper Award for "BUNDLE: A Reasoner for Probabilistic Ontologies" at RR-2013 Highly Commended Paper Award for "Probabilistic declarative process mining" at KSEM 2010 Riguzzi has supervised several PhD students to completion, including Elena Bellodi, Riccardo Zese, and Giuseppe Cota, who have gone on to win prestigious awards for their theses. He has served in numerous editorial roles, including Associate Editor of the Journal of Artificial Intelligence Research and Editor in Chief of Intelligenza Artificiale. His leadership extends to organizing major conferences like ILP 2018 and serving on program committees for top AI venues including IJCAI, AAAI, and ECAI. He is a member of the ML@unife research group and has developed several online systems including cplint, TRILL, and an Online AUC calculator. His work has fostered collaborations across the AI research community, particularly in the areas of probabilistic logic programming and neuro-symbolic AI.

Agostino CortesiView profile

Professor

• Software Engineering
• Static Analysis
• Cybersecurity
• +5 more

Agostino Cortesi is a Full Professor at Ca' Foscari University of Venice , affiliated with the Department of Environmental Sciences, Informatics and Statistics. He serves as Rector's Delegate for Research Quality Assessment and Deputy Coordinator of the Scientific Committee for the Innovation Ecosystem Project. His academic career includes a PhD in Applied Mathematics and Informatics from the University of Padova (1992), a postdoctoral fellowship at Brown University, and visiting professor roles at institutions such as the University of Illinois and École Normale Supérieure Paris. Research interests focus on software engineering , static analysis , security applications , and abstract interpretation . He has pioneered techniques for formal verification of software systems and explored cybersecurity in e-Government and robotics. His work spans over 200 publications in top journals and conferences (e.g., ACM TOPLAS, IEEE TSE, POPL, PLDI). Key contributions include advancements in abstract domains for behavioral property verification and security-oriented analysis frameworks. He has held leadership roles including Vice-Rector at Ca' Foscari, Dean of Computer Science programs, and Chair of the Department of Computer Science. Cortesi coordinates EU Horizon 2020 projects (e.g., Families_Share €1.6M) and regional initiatives like CEVID (€360K). He founded Factors , a university spin-off focused on robotic systems verification, which won the 2020 Veneto SmartCup ICT Prize. Education: PhD in Applied Mathematics and Informatics (1992, University of Padova) Editorial Roles: Co-Editor-in-Chief of Springer’s 'Services and Business Process Reengineering', and member of editorial boards for 'Computer Languages' and others Grants: Over €3M in EU and regional funding for projects in cybersecurity, Industry 4.0, and digital innovation Teaching includes courses on Software Correctness , Data Programming , and Computer Networks across Computer Science and Management programs. His research lab actively engages in industrial partnerships with Cisco, Leonardo, and AGID (Italy’s Digital Agency).

Andrea MorichettaView profile

Associate Professor

• Blockchain Technology
• Smart Contracts
• Business Process Management
• +4 more

Andrea Morichetta is an Associate Professor at the University of Camerino (UNICAM). His research focuses on blockchain technology, smart contracts, and business process management. He explores the integration of blockchain with choreography-based systems, model-driven engineering, and process mining. His work addresses challenges in smart contract testing, distributed systems coordination, and auditability in decentralized applications. Key research areas include: Blockchain-based execution frameworks for BPMN choreographies Mutation testing strategies for Solidity smart contracts Decentralized identity systems using blockchain Event log analysis for Ethereum applications His publications highlight advancements in: Smart contract security and testing methodologies Choreography-driven architectures for IoT and MLOps Formal analysis of business process collaborations He contributes to international conferences and workshops on blockchain, enterprise modeling, and business informatics research. His work bridges theoretical foundations with practical implementations in distributed systems and process automation.

Joanna Cecilia da Silva SantosView profile

Assistant Professor

• Software Engineering
• Software Security
• Code Generation
• +4 more

Joanna Cecilia da Silva Santos is an Assistant Professor in the Department of Computer Science and Engineering at the University of Notre Dame , where she leads the Security and Software Engineering research lab (S 2 E) . She earned her Ph.D. and M.Sc. in Computing and Information Sciences from Rochester Institute of Technology (RIT) and a B.Sc. in Computer Engineering from Federal University of Sergipe (UFS) . Research Interests: Her work focuses on the intersection of Software Engineering and Software Security , with specific emphasis on Code Generation , Program Analysis , Software Architecture , and Quantum Software Engineering . Recent projects include evaluating large language models for code generation, detecting regular expression denial-of-service vulnerabilities, and creating taint-based analysis tools for Java security. 2025: Code generation benchmarks, LLM performance in programming assignments 2024: Frameworks for secure code generation, ReDoS analysis, static analysis of deserialization 2023: GitHub Copilot complexity prediction, vulnerability characterization 2022: Transformer-based code smell detection, security evaluation datasets Scientific Awards: 2017 Best Paper Award at ICSA 2020 JOBS Workshop Research Pitch Competition Winner 2023 Distinguished Reviewer at ESEC/FSE 2014 CAPES Scholarship for Masters at RIT 2013 3rd Place Paper at XIII ERBASE Her research group engages in empirical studies of code vulnerabilities, automated security tools, and educational applications of language models, with funding reflected in multiple peer-reviewed publications.

• Cybersecurity
• Network Security
• Security Automation
• +5 more

Daniele Bringhenti is a Fixed-term Researcher at the Department of Control and Computer Engineering (DAUIN) , Politecnico di Torino , and also holds external teaching roles at the University of Eastern Piedmont . His work focuses on Cybersecurity , Network Security , and Security Automation , with expertise in Distributed Systems , Theoretical Computer Science , and Formal Methods . His research integrates ERC sectors PE6_2 (Distributed Systems), PE6_5 (Security, Privacy), and PE6_4 (Theoretical Computer Science). Recent publications address automated cybersecurity management , firewall policy optimization , and intent-based network isolation . Scientific Awards include the ICICS Best Demo Award (2022) . He serves as Guest Editor for the Journal of Network and Systems Management (2024-2025) . His teaching roles span Master's and Bachelor's programs , including courses on Distributed Systems Programming , Threat Intelligence , and Network Security .

Marco AldinucciView profile

Professor

• Parallel Computing
• High-Performance Computing (HPC)
• Cloud Engineering
• +7 more

Marco Aldinucci is a Full Professor and Head of the Parallel Computing group at the University of Torino's Computer Science Department. He leads the HPC Key Technologies and Tools (HPC-KTT) national lab under CINI, involving 38 Italian universities. His expertise spans parallel programming models, HPC systems, federated learning, and energy-efficient computing. Aldinucci has secured over €10M in EU research funding, contributed to frameworks like Fastflow and Streamflow, and pioneered initiatives like the HPC4AI lab and the CINI HPC-KTT lab. His research focuses on advancing exascale computing, cloud-HPC integration, and AI-driven medical solutions. Notable projects include the Gaia AVU-GSR solver for exascale systems and the DeepHealth Toolkit for medical AI. He has held governance roles in EuroHPC and chairs the Observatory on Trends and Applications of Supercomputing in Italy. Aldinucci’s publications (150+) address parallel algorithms, distributed learning, and sustainable HPC infrastructure. His work has been recognized with awards from HPC Advisory Council, NVIDIA, IBM, and Autodesk. Current initiatives include the Software & Integration lab at the Italian National HPC Centre (ICSC) and leadership in the OpenScience working group at Torino. His advising includes Iacopo Colonelli, whose thesis won CINI’s 2023 best award. He actively engages in EU projects, workflow systems, and standards for hybrid computing environments. Aldinucci’s labs and collaborations drive innovations in HPC portability, energy efficiency, and AI scalability.

• Information Visualization
• Visual Analytics
• Human-Computer Interaction
• +8 more

Paolo Buono is Associate Professor at the Department of Computer Science, University of Bari Aldo Moro, Italy. He holds a PhD in Computer Science with specialization in Visual Data Analysis. His research focuses on Information Visualization, Visual Analytics, Human-Computer Interaction, and Mobile Applications. Co-founder and CEO of LARE (2010), a university spinoff providing real-time surgical support through audio-video telestration Member (since 2002) and computer science coordinator at METEA Research Center for environmental protection Visiting scientist at AVIZ (France), University of Maryland (USA), and Fraunhofer IPSI (Germany) His work spans multiple application domains including: Cultural Heritage through interactive exploration systems Healthcare with smart therapeutic devices Environmental Monitoring via CET system IoT-based Smart Interactive Experiences He has contributed to: Dynamic hypergraph visualization techniques End-User Development frameworks (EUDroid) Usability evaluation methodologies Mobile health applications As project leader, he has coordinated: EU-funded VisMaster Coordination Action (2008-2010) Italian Ministry-funded LOGIN project (2014-2015) Apulia Region environmental projects His professional engagements include: Co-chair roles at INTERACT, AVI, IS-EUD conferences Program committee participation in VIS series and HCI conferences Member of ACM, IEEE, and SIGCHI Italy

Luca CrocettiView profile

Assistant Professor

• Cybersecurity in Automotive Systems
• Embedded Systems Design
• VLSI Systems for Space Applications
• +3 more

Luca Crocetti is an Assistant Professor at the Department of Information Engineering (DII) of the University of Pisa. His research focuses on hardware security, embedded systems, and VLSI design for applications in Automotive, Space, IoT, and High-Performance Computing. He specializes in cybersecurity modules for automotive systems, space-grade FPGAs, and digital signal processing in satellite communications. His teaching includes electronics laboratory practices and cybersecurity principles, with a recent course on hardware's role in security for the Ph.D. program in Information Engineering. He has authored over 20 publications and holds 3 patents (1 national, 2 international), with notable work on cryptographic cores, secure boot mechanisms, and automotive cybersecurity. His contributions span efficient hardware implementations of AES, SHA-3, and other cryptographic algorithms, emphasizing compliance with standards like CCSDS for space applications. His research trends highlight a focus on hardware-efficient architectures, modular design for scalability, and robust security protocols for trusted environments. Notable publications address cryptographic co-processors for the European Processor Initiative, PUF-based security for RISC-V, and FPGA-based RNGs. While no formal awards are listed, his active role in cutting-edge cybersecurity projects underscores his contributions to embedded and space system security. His teaching and research emphasize hands-on lab experiences and real-world applications of hardware security principles.