Find Academic Supervisors

Paolo FalcarinView profile

Associate Professor

• Cybersecurity
• Software Engineering
• Artificial Intelligence
• +5 more

Paolo Falcarin is an Associate Professor at Ca' Foscari University of Venice, affiliated with the Department of Environmental Sciences, Computer Science and Statistics. His research focuses on cybersecurity, software engineering, and AI compliance, with notable contributions to software protection mechanisms, reverse engineering defenses, and cyber-physical systems. He actively participates in editorial roles for journals like Computers & Security and serves on program committees for IEEE/ACM conferences. Key Projects: ASPIRE (EU FP7), SERICS (PNRR), and Flexymob (Currant s.r.l.) Research Interests: Cybersecurity Knowledge Graphs, Runtime Security (Falco), AI Act Compliance, and Software Renewability His work bridges theoretical cybersecurity advancements with practical applications in distributed systems and IoT. Recent publications emphasize anomaly detection in large-scale systems and regulatory compliance frameworks for AI.

Flaminia LuccioView profile

Associate Professor

• Computer Security
• Cryptography
• Distributed Systems
• +3 more

Flaminia Luccio is an Associate Professor at Ca' Foscari University of Venice, affiliated with the Department of Environmental Sciences, Computer Science and Statistics. Her research focuses on computer security, cryptography, distributed systems, and usability engineering. She has contributed to projects like the SAFE PLACE IoT security initiative and the FWS firewall analysis tool. Luccio teaches courses such as Cryptography and Advanced Algorithms at both undergraduate and graduate levels. Research: Her work spans formal verification of cryptographic protocols, secure IoT implementations, and usable security solutions for QR codes and biometric authentication. She has led projects involving secure hardware configuration for cloud environments and resilient firewall management systems. Recent contributions address side-channel vulnerabilities and malware detection through machine learning. Teaching: Courses include Cryptography (Master's), Algorithms and Data Structures (Bachelor's), and Web Technologies for Tourism (Master's). Teaching materials are accessible via her departmental website and personal profile. Collaborations: Collaborates with researchers like Riccardo Focardi on cybersecurity frameworks. Engages in interdisciplinary projects combining accessibility with technology, such as improving tourism websites for users with disabilities.

• Electrical Engineering
• Data Acquisition Systems
• IoT Infrastructure
• +3 more

Paolo Squillari is an External Lecturer and Head of Technical Services Office at the Department of Energy (D.ENERG) within Politecnico di Torino. He collaborates with the Department of Electronics and Telecommunications (DET). His teaching responsibilities include courses like 'Introduction to LabVIEW and Data Acquisition' for Energy Engineering programs and 'Electrical Measurements' for Electrical Engineering students since at least 2019/20. He actively participates in academic years up to 2025/26. Professionally, Squillari has led commercial consulting projects such as software development for PEM generators (2007). His recent research focuses on IoT infrastructure for multi-energy systems and magnetic gear prototyping. He contributes to international conferences like IEEE EEEIC and COMPUMAG. No scientific awards or grants are explicitly listed, though his involvement in commercial contracts suggests applied research activities. He leads technical services operations within D.ENERG, indicating managerial responsibilities alongside teaching and research.

• Constraint Programming
• Algorithm Selection
• String Constraint Solving
• +4 more

Roberto Amadini is an Associate Professor in the Department of Computer Science and Engineering at the University of Bologna. His work focuses on constraint programming, algorithm selection, and string constraint solving, with applications in cloud-edge computing and IoT systems. He leads research in deploying microservices over hybrid infrastructures and optimizing solver portfolios for constraint satisfaction problems. Research interests include advanced constraint solving techniques, formal methods for software analysis, and energy-efficient resource allocation. Amadini’s contributions span the design of frameworks like FREEDA and SUNNY-as2, which enhance deployment resilience and algorithm selection efficiency. His work bridges theoretical foundations with practical implementations in programming languages and verification tools. Recent publications explore sustainable cloud-edge applications, failure-resilient systems, and dynamic symbolic execution. He actively contributes to open-source projects like JSetL and participates in international solver challenges. No awards are explicitly listed in the provided materials. Amadini’s research group addresses cutting-edge challenges in distributed computing and constraint-based methodologies. Ongoing projects focus on optimizing solver portfolios for real-world computational tasks and advancing string analysis techniques in programming paradigms.

Amleto Di SalleView profile

Assistant Professor

• Software Engineering
• Model-Based Software Engineering
• Distributed Systems
• +7 more

Amleto Di Salle is an Assistant Professor at the Gran Sasso Science Institute in Italy, specializing in Software Engineering , with a focus on Software Architecture , Model-Based Engineering , and Technical Debt . He previously served as a Research Fellow at the European University of Rome and earned a Ph.D. in Computer Science from the University of L’Aquila in 2015. Research Interests : Software Architecture Model-Driven Software Engineering Distributed Systems Composition Technical Debt and Code Smells Self-Adaptive Systems Digital Twins Recent Publications show a trend toward Deep Learning for Code Analysis , Model-Driven Architecture , and Distributed System Compliance . He has collaborated extensively on projects like CHOReVOLUTION and MATISSE . Teaching spans courses on Software Engineering , Model-Driven Development , and Java/J2EE Programming at institutions including the University of L’Aquila and European University of Rome.

Davide AnconaView profile

Associate Professor

• Formal Methods
• Runtime Verification
• Programming Languages
• +3 more

Davide Ancona is an Associate Professor at the University of Genoa, Italy, in the Department of Computer Science, Bioengineering, Robotics, and Systems Engineering (DIBRIS). He holds key governance roles: Member of the School Council, School of Mathematical, Physical and Natural Sciences Member of the Department Board, DIBRIS His teaching portfolio spans Internet of Things, Healthcare IoT, Wearable Devices, Programming Languages, and Pervasive Computing across Computer Science and Bioengineering degree programs. His research concentrates on: Formal Methods and Programming Languages (specializing in corecursive streams and type systems) Runtime Verification for software correctness and multi-agent systems Internet of Things applications in healthcare contexts His work bridges theoretical foundations with practical verification tools for critical systems. Analysis of his 2023-2024 publications reveals: Foundational advances in corecursive stream equivalence and expressivity Novel applications of logic programming to runtime monitoring Techniques for verifying mutable object behavior in Java Extensions to robotic multi-agent frameworks like JaCaMo These contributions demonstrate a cohesive trajectory from theoretical programming language research to real-world IoT and healthcare validation systems.

• 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.

Enrico TronciView profile

Professor

• Model Checking
• Cyber-Physical Systems
• Software Engineering
• +7 more

Enrico Tronci is a Full Professor in the Department of Computer Science at Università degli Studi di Roma La Sapienza , Italy. His research focuses on model checking, formal verification, and synthesis of cyber-physical systems, with applications to mission-critical and safety-critical domains such as space systems, smart grids, and healthcare. He leads the Model Checking Lab (MCLab) and has coordinated numerous national and international research projects funded by organizations including the European Community (EC), European Space Agency (ESA), and Italian Ministry of University and Research (MUR). Research Highlights : Automatic control software synthesis from closed-loop specifications Model checking algorithms for hybrid and stochastic systems Technology transfer in sectors like energy, transportation, and aerospace Teaching : Undergraduate: Software Engineering (Fall 2024) Graduate: Automatic Verification of Intelligent Systems (Fall 2024), Verification and Validation of Intelligent Systems (Spring 2025) Scientific Awards : Recipient of the IBM-Italia 1987 prize for best thesis in Artificial Intelligence Publications Trends : 2024: Scaling up model checking for cyber-physical systems via HPC 2023: Hormonal impact on behavior and fault-tolerant sensor deployments 2021-2022: In silico clinical trials, smart grid management, and scenario enumeration 2020: AI-guided diabetes patient modeling and forensic psychiatry applications Software Tools : QKS (Quantized Kontrol Synthesizer) NashMV (MAD systems verification) CMurphi (Hybrid systems model checker) FHP-Murphi (Probabilistic verification) BSP (Boolean symbolic programming)

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.

Simone LentiView profile

Assistant Professor

• Cybersecurity
• Visual Analytics
• Human-Computer Interaction

Simone Lenti is an Assistant Professor (Ricercatore RTDa) at the Department of Computer, Control, and Management Engineering of Sapienza University of Rome. He is an active member of the A.WA.RE research group , which specializes in visual analytics. Lenti obtained his Ph.D. in 2021 with a dissertation on visual analytics techniques for cybersecurity. His research bridges cybersecurity , visual analytics , and human-computer interaction , focusing on: Developing computational methods for vulnerability analysis (e.g., NLP for CVE relevance, smart contract taxonomies) Designing visual tools for threat detection (e.g., attack graphs, firmware fuzzing) Enhancing interpretability in data-driven systems (e.g., partial dependence analysis, process mining) Lenti's publications (2019–2025) demonstrate a consistent focus on applying visual analytics to cybersecurity challenges , with recent expansions into bioinformatics and education. Key trends include automated vulnerability management, human-centered explainability, and scalable threat modeling. Awards: IEEE VizSec 2018 Best Paper for contributions to cybersecurity visualization. He contributes to academic infrastructure through tools like easyDeclare (declarative process modeling) and BUCEPHALUS (business-centric cybersecurity analysis), emphasizing practical applications of his research.

• Biomedical Image Processing
• Machine Learning in Medical Diagnostics
• Radiation Physics
• +2 more

Giuseppe Raso is a Professor at the University of Palermo , affiliated with the Department of Physics and Chemistry . He specializes in biomedical image processing , radiation physics , and autoimmune disease diagnostics . His work integrates machine learning and semiconductor detector technology for applications in medical imaging and environmental radiation monitoring . Research Interests: Development of AI-driven diagnostic systems for coeliac disease Advanced signal processing techniques for CdZnTe/CdTe radiation detectors Automated analysis of HEp-2 cell immunofluorescence patterns Key Publications span deep learning in biomedical imaging , radiation spectroscopy , and grid infrastructure for medical data analysis .

• Software Engineering
• Gamification
• Mobile Computing
• +7 more

Giacomo Garaccione is a Ph.D. candidate in Computer and Systems Engineering at the Polytechnic University of Turin , affiliated with the Department of Control and Computer Engineering (DAUIN) and the SOFTENG - Software Engineering Group . He holds an MSc in Computer Engineering (Software) from the same institution. Current Role : Ph.D. candidate (38th cycle, 2022-2025) Teaching : External lecturer and teaching assistant for Information Systems and Software Engineering courses in Engineering and Management and Computer Engineering programs (2022-2025). His research focuses on applying gamification to software engineering education , with emphasis on conceptual modeling and GUI testing . He develops gamified tools like UMLegend and GERRY , integrating artificial intelligence and natural language processing for automated model validation and feedback. Publications analyze gamification’s impact on student productivity and perception in UML/BPMN education. Scientific recognition : Nominated for merit awards (2025). Collaborator on multiple studies involving large language models and gamified IDE plugins , with ongoing work to create a comprehensive gamified environment for software modeling and requirements training.