Carlo Blundo is a Professor at the University of Salerno , affiliated with the Department of Business Sciences - Management & Innovation Systems . His research focuses on Cryptography , Security , and Privacy with a specialization in Secret Sharing Schemes , Visual Cryptography , and Key Distribution . Blundo has authored over a dozen influential articles, including groundbreaking work on Visual Cryptography and Dynamic Key Distribution . His work addresses both theoretical and applied aspects of Security Protocols and Information Theory , with a focus on optimizing Contrast , Pixel Expansion , and Storage Efficiency in cryptographic systems.
Zsuzsanna Lipták is an Associate Professor in the Department of Computer Science at the University of Verona, Italy, where she has been a faculty member since November 2011. Her research is centered on string algorithms, combinatorics on words, and algorithmic bioinformatics, with a particular focus on the Burrows-Wheeler Transform (BWT) and its applications in data compression and biological sequence analysis. She is an active member of the Algorithmic Bioinformatics and Natural Computing Group and the Algorithms Group at the university. She leads research within the PRIN-funded project 'PINC – Pangenome Informatics: From Theory to Practice' and collaborates internationally with institutions in South Africa, Finland, Chile, and the USA. Her research interests include string indexing, suffix trees, suffix arrays, data compression, computational biology, and combinatorial properties of permutations and BWT. She has made significant contributions to the theory and application of BWT variants, matching statistics, and de Bruijn sequence construction. Her recent publications reflect a consistent focus on improving the efficiency and understanding of text indexing and compression methods, particularly in the context of genomic data. These works often involve both theoretical analysis and experimental validation, bridging the gap between pure theory and practical implementation. Lipták actively supervises PhD and master’s students, including Davide Cenzato, Sara Giuliani, Francesco Masillo, and Martina Lucà. She teaches advanced courses such as 'Fundamental Algorithms for Bioinformatics,' 'Computational Analysis of Genome-Scale Sequences,' and 'Advanced Data Structures for Textual Data.' She has also supervised numerous bachelor’s theses and student projects. She has secured research funding through national projects like PRIN and has collaborated on international initiatives, including a Marie Curie IEF fellowship during her postdoctoral work. She is deeply involved in the academic community, having served as PC chair for SPIRE 2024, PC co-chair for CPM 2023, and a member of the Steering Committee of SPIRE since 2024. She has served on the program committees of major conferences such as ESA, DLT, WABI, and IWOCA. She co-organizes the weekly 'Monday Meetings' seminar series for the Algorithms Group and has co-edited special issues and conference proceedings in journals like Theory of Computing Systems , Discrete Applied Mathematics , and European Journal of Combinatorics . She earned her Diplom in Mathematics from Freie Universität Berlin and her PhD in Computer Science from Bielefeld University, Germany, where her thesis addressed algorithmic problems in mass spectrometry. She has held research positions at ETH Zurich, Bielefeld University, and Salerno University, and has been a visiting researcher at the Rényi Institute (Hungary), University of the Witwatersrand, and SANBI (South Africa). She is the scientific coordinator for Erasmus+ exchanges with Bielefeld and Jena Universities.
Massimo Benerecetti is an Associate Professor in Computer Science at the Department of Electrical Engineering and Information Technologies, University of Naples "Federico II". He is actively involved in teaching and research, with a focus on algorithms, data structures, and formal verification of software systems. Position: Associate Professor Institution: University of Naples "Federico II" Department: Department of Electrical Engineering and Information Technologies Research Areas: Software Analysis, Model Checking, Formal Verification, Security Protocols, Multi-Agent Systems Contact: massimo.benerecetti@unina.it His research interests lie in the domain of formal methods for software and system verification, particularly in automated reasoning, model checking, and the analysis of security protocols and multi-agent systems. He has contributed to national research projects funded by MIUR, including PRIN and FIRB initiatives focused on automated verification and reasoning in complex systems. Although no recent publications are listed in the provided text, his academic work centers on advancing formal techniques for software validation, especially in distributed and context-aware environments. His teaching responsibilities include core computer science courses such as Algorithms and Data Structures I and II, as well as specialized topics like Automated Software Verification. Massimo Benerecetti has also played an active role in the academic community through organizational and committee roles in international conferences such as CONTEXT, MCMAS, MoChArt, CLIMA, and KR, reflecting his engagement with interdisciplinary research at the intersection of AI, logic, and formal methods. He advises students and conducts office hours by appointment, maintaining an accessible academic presence. There is no indication of part-time status, awards, or student advisees in the provided information.
Erich Malan is a PhD Student in Computer and Systems Engineering (2022-2025) at the Department of Control and Computer Science (DAUIN), Polytechnic University of Turin, where he also serves as an External Lecturer and Teaching Assistant. He holds an M.Sc. in Data Science and Engineering from the same institution (2021). His research focuses on developing efficient deep learning solutions for IoT networks, with expertise in: Distributed and federated learning optimization Communication efficiency for low-power IoT nodes Privacy-preserving techniques in edge computing Automated data annotation and security His publications concentrate on federated learning optimizations, featuring techniques like layer freezing, homomorphic encryption, and learning rate tuning to address challenges in edge computing environments. Awards include: Speaker recognition at IEEE ICECS 2024 Speaker recognition at IEEE ISLPED 2023 Teaching activities include serving as Course Collaborator for Computer Science courses in Aerospace Engineering and Computer Science Engineering programs. He conducts research with the Electronic Design Automation (EDA) Group at DAUIN.
Marco Mellia is a Full Professor at the Department of Control and Computer Science (DAUIN) of Politecnico di Torino, Italy, and a member of the Academic Senate. He serves as Coordinator of the Interdepartmental Center SmartData@PoliTO and Scientific Advisor for the Huawei partnership. His research focuses on Internet traffic analysis, cybersecurity, machine learning applications in network security, and data science. Artificial Intelligence Big Data Network Security Machine Learning His recent publications investigate topics like Telegram group dynamics, federated learning for network telescopes, darknet anomaly detection, and AI-driven sound-squatting prevention. These works span applications in cybersecurity, social networks, and network management. Marco Mellia has received numerous accolades including IEEE Fellow (2020), Applied Networking Research Prize (2013), and multiple best paper awards at IEEE ICDCS, ACM CoNEXT, and IEEE P2P. He advises PhD students in cybersecurity and data science, leads large-scale research projects (AI4CTI, XInternet, HPC4AI), and holds 13 patents. He has held visiting researcher positions at Carnegie Mellon University, Sprint AT Labs, Narus, Cisco Systems, and Federal University of Minas Gerais. Marco is Editor-in-Chief of Proceedings of the ACM on Networking and has chaired major conferences including ACM CoNEXT and IEEE TMA.
Federico De Lorenzis is a Research Fellow at the Department of Control and Computer Science (DAUIN) at Politecnico di Torino. He also serves as an external lecturer and teaching assistant across multiple departments, including the Department of Architecture and Design (DAD) and DAUIN. Research Focus: Virtual Reality (VR), educational technology, and applied computer science. Teaching Involvement: Courses in Sustainable Design for the Food System, Design and Communication, and Aerospace Engineering. De Lorenzis is affiliated with the GRAINS (GRAphics and INtelligent Systems) research group and the VR@POLITO laboratory. His recent publications explore VR applications in education, emergency training, and heritage design, demonstrating interdisciplinary expertise in immersive technologies. Key themes include procedural training for CBRN operators, metaverse environments, and interactive learning models. Notable collaborations include development of the VR 4 CBRN TRAINING software platform with inventors Alberto Cannavo' and Fabrizio Lamberti. His work bridges academic research with practical applications in extended reality systems.
Alessandro Visconti is a PhD student in Computer and Systems Engineering (38th cycle, 2022-2025) at the Polytechnic University of Turin, affiliated with the Department of Control and Computer Science (DAUIN). He serves as an external lecturer and teaching assistant, actively contributing to academic instruction. BSc & MSc in Cinema and Media Engineering, Polytechnic University of Turin (2019, 2021) PhD candidate researching digital twinning, metaverse social interaction, and virtual presence Member of GRAINS (Graphics and Intelligent Systems) group and VR@POLITO lab His research focuses on advancing the Metaverse through consumer technology integration and AI-driven methods, aiming to enhance user immersion and social engagement in virtual environments. Key themes include real-time application development, facial mimicry synthesis, and social VR dynamics. His publications (2023-2025) demonstrate expertise in Metaverse architecture, VR education, and emotion conveyance through avatars. Awards include the 2024 IEEE ICIR Best Paper Award and top 10 most-cited recognition in 2025. 2024: Best Paper Award, IEEE ICIR 2025: Top 10 Most-Cited Publication, Computer Animation and Virtual Worlds Visconti teaches courses like Innovation Management & ICT Product Development, Object-Oriented Programming, and Data & Algorithms, while collaborating on interdisciplinary projects spanning aerospace and management engineering.
Tao Huang is an Associate Professor at the Department of Energy (DENERG) , Politecnico di Torino , Italy. His research focuses on Agent-based modeling , Complex networks , Energy digitalization , and Power systems economics . He contributes to interdisciplinary projects and teaches Power system economics at the PhD level and Smart grids , Energy networks , and Smart electricity systems at the master's level. Research Interests: Machine learning applications in energy systems, prosumer community modeling, digitalization of power networks, complex system analysis Awards: 2020 MIT A+B Applied Energy Symposium Best Paper Award Teaching: Course instructor for Power system economics (2021-2025), Energy networks (2022-2025), and collaborator in various energy-related courses Research Groups: GUSEE (Energy Systems) and LAME (Applied Mechanics)
Dr. Paolo Santini is a Researcher in the College of Engineering at Marche Polytechnic University . His work focuses on code-based cryptography , post-quantum cryptographic protocols , and information security , particularly in the context of digital signatures and error-correcting codes. Research Focus : Code-based cryptography, digital signatures, post-quantum security, blockchain protocols Dr. Santini's recent publications (2025-2023) highlight advancements in: Code equivalence problems for secure signatures Bit-flipping decoders with predictable failure rates Blockchain consensus using fuzzy signatures Optimization of LESS protocols for shorter signatures Group action-based cryptographic designs His work intersects with quantum-resistant algorithms and practical implementations in blockchain and embedded systems. No specific awards or student advisement details were found in the provided materials.
Francesco Spegni is a Researcher at the Department of Civil, Building and Environmental Engineering (DICEA) within the School of Engineering at Marche Polytechnic University (UNIVPM), Italy. His work integrates advanced computational methods with civil engineering applications, focusing on built environment management through cutting-edge technological solutions. His research spans Augmented Reality , Construction Safety , Building Information Modeling , Facility Management , and Blockchain systems. Key investigations include marker-less AR registration for infrastructure inspections, cybersecurity in construction processes, and mixed reality applications for facility operations. His interdisciplinary approach bridges computer science and civil engineering to solve practical challenges in construction safety and infrastructure management. Analysis of his 2023-2025 publications reveals a dominant trend toward seamless integration of cyber-physical systems in built environments. Core themes include marker-less augmented reality for indoor/outdoor transitions, blockchain notarization of BIM processes, and natural language processing for safety management. His work consistently targets real-world implementation challenges in unprepared environments, emphasizing accuracy, interoperability, and practical usability for construction and facility management professionals.
Roberto Bagnara is a Full Professor of Computer Science at the Department of Mathematics and Computer Science of the University of Parma, Italy. He has been a faculty member since 1997, progressing from Assistant Professor to Associate Professor and finally to Full Professor in November 2010. In addition to his academic position, he serves as Chief Scientist, CTO, and President of BUGSENG srl, a university spin-off focused on software verification and validation technologies. Professor Bagnara received his laurea degree (magna cum laude) in Computer Science from the University of Pisa in July 1992, followed by a Ph.D. in Computer Science from the same university in September 1997. Prior to his doctoral studies, he worked at CERN in Geneva with Tim Berners-Lee, the inventor of the World Wide Web, and at the University of Bologna's Physics Department developing software for data acquisition and analysis. His research spans abstract interpretation, program analysis and verification, and semantics-based program manipulation techniques . Professor Bagnara has made significant contributions to the fields of static program analysis, with particular focus on convex polyhedra manipulation, constraint logic programming, and formal verification of safety-critical software. His work bridges theoretical foundations with practical applications, resulting in several influential software projects including the Parma Polyhedra Library (PPL), CHINA, PURRS, and ECLAIR. The PPL is particularly notable as it's used in the GNU Compiler Collection (GCC), the most widely used compiler suite worldwide. Professor Bagnara's recent publications reveal a strong focus on safe and secure programming, particularly in C language ecosystems. His work on C-rusted, MISRA compliance, and floating-point verification demonstrates his commitment to practical solutions for real-world software verification challenges. His research increasingly integrates formal methods with industry needs, especially for safety-critical embedded systems. Professor Bagnara has supervised numerous thesis students and has been involved in multiple national and international research projects, including ESPRIT, COFIN, and PRIN projects. He has served on program committees for major conferences such as SAS, VMCAI, and ICLP, and has organized workshops and summer schools in his field. He leads the Applied Formal Methods Laboratory at the University of Parma, which focuses on developing theoretical foundations and practical tools for software analysis and verification. The laboratory's work has significant industrial impact, particularly through the ECLAIR project, which aims to create an industrial-strength platform for analysis, verification and transformation of imperative languages.
Eleonora Iotti is a fixed-term researcher at the University of Parma , affiliated with the Department of Mathematical, Physical and Computer Sciences . Her academic focus spans Artificial Intelligence , Software Engineering , and Data Security , with notable contributions to sustainable logistics and secure microbiological data platforms. Academic Rank: Researcher Office Hours: Friday 10:30-11:30 Contact: eleonora.iotti@unipr.it Research Interests include: AI-driven solutions for logistics sustainability Secure data-sharing platforms (e.g., BIOCHAIN ) Agent-oriented programming languages (e.g., JADEL ) Generative models (e.g., MetalGAN ) Her publications emphasize physics-based simulations, explainable AI, and automated quality assessment. She teaches courses on Foundations of Artificial Intelligence and Elements of Logic and Discrete Structures at both first and second cycle degrees in Computer Science. Recent Projects: Developing BIOCHAIN-AI for secure microbiological data analysis Creating AI pipelines for sustainable packaging (e.g., substituting plastic with kraft paper) Advancing agent-oriented programming formalization and verification Contact: Campus Scienze e Tecnologie, Padiglione 21, Parco Area delle Scienze 53/A, 43124 Parma.
Giulio Boccaletti is the Scientific Director of the CMCC Foundation , an Italian research institution focused on climate change. He holds a PhD in Atmospheric and Oceanic Sciences from Princeton University, earned as a NASA Earth Systems Science Fellow, and previously worked as a research scientist at the Massachusetts Institute of Technology (MIT) on ocean circulation and turbulence theory. Currently, he teaches a course on 'Strategy for Earth' at the Smith School of Enterprise and the Environment , Oxford University, and co-founded Chloris Geospatial , a venture-backed firm leveraging remote sensing and machine learning to assess natural assets. Trained as a physicist at the University of Bologna PhD in Atmospheric and Oceanic Sciences (Princeton, NASA Fellow) Research Scientist at MIT His research spans interdisciplinary areas including climate modeling, water resource security, sustainability strategy, and AI applications in environmental science. He has led global water programs for The Nature Conservancy and advised governments and corporations on natural resource strategy. His publications focus on computational methods in climate prediction and geospatial analytics for natural asset evaluation. Scientific Awards: Young Global Leader by World Economic Forum (2014) NASA Earth Systems Science Fellowship As an author, his book Water: A Biography (Pantheon Books, 2021) was recognized as one of The Economist 's Best Books of 2021. He contributes to Project Syndicate and Il Foglio, and is executive producer of a PBS/BBC Studios series on 'the future of nature.'
Halar Haleem is a Research Fellow at the Department of Naval, Electrical, Electronic, and Telecommunications Engineering (DITEN) within the University of Genoa. Their research spans interdisciplinary domains at the intersection of computer vision, robotics, drone technology, and wireless systems. Academic Rank: Research Fellow Affiliation: University of Genoa, Department of Naval, Electrical, Electronic, and Telecommunications Engineering Contact: halar.haleem@edu.unige.it Research interests focus on drone technology , computer vision , and wireless surveillance systems . They explore applications in traffic monitoring, aerial object detection, and energy-efficient drone operations, with recent work on AI-enabled medical IoT and biomechanical monitoring using smart glasses. Key article trends include: Drone-based traffic analysis using deep learning and image segmentation Privacy-preserving Wi-Fi monitoring systems Monocular vision for activity recognition in makerspaces RF/WiFi signal utilization for UAV surveillance Energy-accuracy trade-offs in drone video processing Trimetallic nanoparticle electrocatalysts for hydrogen production
Carlo Regazzoni is a Full Professor at the Department of Naval, Electrical, Electronic and Telecommunications Engineering (DITEN) within the School of Engineering at the University of Genoa. His research focuses on telecommunications, autonomous systems, cognitive radio, and Bayesian modeling. He teaches courses like Cognitive Telecommunication Systems, Integrated Sensing and Communications, and Physical Layer Models for Software Radio. Research Trends: Recent publications highlight advancements in UAV trajectory design, anomaly detection for autonomous systems, LiDAR perception models, and active inference applications in cognitive networks. His work integrates machine learning with physical-layer communication for intelligent systems. Contact: Email: carlo.regazzoni@unige.it
