Roberto Sebastiani is a Full Professor in the Department of Information Engineering and Computer Science at the University of Trento, where he teaches graduate courses including Automated Reasoning, Automated Reasoning and Formal Verification, Formal Verification, and Fundamentals of Artificial Intelligence across Artificial Intelligence Systems, Computer Science, and Mathematics programs. His research spans foundational and applied areas of computer science with emphasis on formal methodologies: Artificial Intelligence Automated reasoning Conceptual modeling Formal methods Formal verification Information & Communication Technology (ICT) Mathematical logic Optimization Research methodology Satisfiability Professor Sebastiani's work integrates theoretical rigor with practical applications in verification and AI systems development, particularly through satisfiability solving and formal modeling techniques.
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.
Stefania Costantini is a Professor in Computer Science with a focus on logic programming, multi-agent systems, and healthcare applications. She has contributed to the development of intelligent ecosystems for patient monitoring, ontology frameworks for medical wearables, and formal verification methods for agent systems. Research Interests: Logic-based agent modeling Complex event processing Healthcare technology integration Temporal and metalevel logic applications Wearable device classification Recent Article Trends: Stefania's work combines artificial intelligence with biomedical engineering, emphasizing real-time data analysis from wearables, noise pollution mitigation, and agent-based healthcare systems. Her publications show a consistent focus on computational logic foundations applied to practical healthcare scenarios. Collaboration Network: Key co-authors include Lorenzo De Lauretis, Fabio Persia, and C. Bertoncelli across interdisciplinary projects blending computer science with medical research.
Cristina Malegori is a Researcher in the Department of Pharmacy at the University of Genoa , specializing in chemometrics and analytical chemistry . She teaches courses such as Data Analysis and Chemometrics for Master's programs in Pharmaceutical Chemistry and Technology. Department: Pharmacy Research Focus: Chemometric methods, NIR spectroscopy, TD-NMR applications Teaching: Data analysis tools for pharmacy students Her research combines data science with spectroscopic techniques to solve analytical challenges in material characterization, environmental studies, and pharmaceutical quality control. Recent work includes chemometric modeling of soil rare-earth elements and cross-linking prediction in rubber materials. Office hours are held at the Chemistry and Pharmaceutical and Food Technologies Section (Viale Cembrano, 4) or online via MS-Teams, with appointments arranged via email.
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.
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.
Alessio Carullo is a Full Professor at the Polytechnic University of Turin , affiliated with the Department of Electronics and Telecommunications (DET) and the PolitoBIOMed Lab (Biomedical Engineering Lab). He specializes in electrical metrology, sensor systems, and biomedical device development. Expertise : Calibration, impedance metrology, quantum Hall effect, smart sensors, wearable systems, measurement uncertainty SDG Contributions : Health & Well-being, Clean Energy, Sustainable Cities His research focuses on biomedical sensor networks, industrial monitoring systems, and energy communities. He leads projects like VIA (voice monitoring for MS patients) and BRIC-2024 (noise impact analysis). His work bridges electrical engineering with healthcare and sustainability. Recent publications address voice quality analysis in neurological disorders, wireless sensor networks for industrial plants, and energy system monitoring. He supervises PhD students in biomedical and industrial sensor applications while teaching metrology and data acquisition systems.
Fulvio Valenza is an Assistant Professor (Fixed-Term Tenure-Track, RTD-B) at the Department of Control and Computer Engineering (DAUIN) , Polytechnic University of Turin . He is a member of the NETGROUP - Computer Networks Group and teaches courses such as Security of next-generation networks and Data Protection, Privacy, and Anonymity across multiple degree programs including Cybersecurity Engineering and Computer and Systems Engineering. Research Interests: Cybersecurity, Network Security, Security Automation, Distributed Systems, Quantum Cryptography Projects: MIRANDA (EU-funded cybersecurity research), Commercial contracts for "ESCAPE" seminar organization Research Trends in his publications focus on security automation in virtualized/cloud environments, formal verification of network policies, and optimization of security configurations for industrial and automotive systems. His work bridges theoretical methods (e.g., formal verification) with practical deployments (e.g., Kubernetes security, VNF placement). Teaching spans both the Polytechnic University of Turin and the University of Eastern Piedmont (2020-2022), covering topics in network security, cloud technologies, and cybersecurity.
Mario Baldi is an Associate Professor (on leave) of Information Processing Systems at the Department of Control and Computer Engineering , Politecnico di Torino , and concurrently a Fellow in the Office of the CTO, Adaptive and Embedded Computing Group, at AMD, San Jose, CA. His career blends deep academic research with extensive industry R&D leadership. Education M.Sc. (Summa Cum Laude) in Electrical Engineering, Politecnico di Torino, 1993 Ph.D. in Computer and System Engineering, Politecnico di Torino, 1998 Research Focus Baldi’s research spans programmable data planes, software-defined networking, big-data analytics for network management, network security, high-performance switching architectures, optical networking, QoS mechanisms, and multimedia/voice-over-IP systems . He is especially known for pioneering work on P4 -based programmable networks and SmartNIC architectures. Publication & Patent Impact Across 150+ refereed papers and 35+ US patents (plus European filings), his recent output concentrates on machine-learning-driven network data-plane functions , disaggregated stateful network services , and cloud-grade DPUs . The 2021–2024 articles emphasize real-time inference directly in the network data plane and modular SDN programming. Awards & Honors Best Paper Award, IEEE ICC 2007 Best Paper Award, IEEE ISCC 2008 Best Paper Award, IEEE GreenComm 2009 Best Paper Award, ACM/IEEE WI/IAT 2014 Grants & Projects Baldi has served as Principal Investigator or Scientific Coordinator on numerous EU Framework and Italian national projects (PRIN, FAR), leading consortia on energy-efficient packet networks, trusted software execution, wireless mesh architectures, and streaming media delivery. Teaching & Mentoring He has taught graduate courses on Enterprise Network Technologies, Computer Network Technologies and Services, Networks/Cloud/Application Security at Politecnico di Torino since 2003. He has also supervised PhD collegi for the Computer and Systems Engineering doctoral program (cycles 19–23) and held visiting/adjunct positions across four continents. Labs & Teams Previously headed the NetGroup (Computer Networks Group) at Politecnico di Torino (2001–2007) and co-chairs the p4.org Architecture Workgroup , driving open standards for programmable networking.
Luca Barbierato is a Fixed-term Assistant Professor at the Department of Control and Computer Engineering (DAUIN), Politecnico di Torino, specializing in applied artificial intelligence, cybersecurity, and co-simulation infrastructures for integrated energy systems. He actively contributes to research in edge computing, IoT, and sustainable energy technologies. Research Focus: AI applications in energy systems, secure IoT infrastructures, and co-simulation frameworks Teaching Roles: Invited PhD teaching component (2025/26), teaching assistant across multiple programs His recent publications address critical areas including OpenTitan-based security controllers, urban building energy modeling, and distributed power system co-simulation. Barbierato's work aligns with SDG Goals 7 (Affordable Energy), 9 (Innovation Infrastructure), and 11 (Sustainable Cities). Notable scientific recognition includes the Learning to Teach (L2T) badge from Politecnico di Torino.
Marcello Dalpasso is an Associate Professor of Computer Science at the School of Engineering, University of Padova, Italy, and a member of the Department of Information Engineering. He has held this position since 2004 after serving as a researcher and teaching assistant at the same university from 1998. Born in Ferrara, Italy (1965) Graduated with highest honors in Electronic Engineering (1990), University of Bologna PhD in Electronic Engineering and Computer Science (1994), Rome His research focuses on integrated circuit testing , fault simulation , and algorithm design . He has developed techniques for IDDQ testing , bridging fault modeling , and Boolean satisfiability applications in digital systems. Other contributions include optimization algorithms for Traveling Salesman Problem (TSP) and efficient data structures. Recent publications highlight his work on Answer Set Programming for timing analysis, Python programming education , and TSP neighborhood exploration . His research spans both theoretical and applied domains, from hardware testing to software development and computational biology. He has co-authored textbooks on Computer Networks , Software Design , and Programming in Java/Python/C++ , serving as a key contributor to educational materials in computer science.
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)
Angelo Spognardi is an Associate Professor in the Department of Computer Science at Sapienza University of Rome, leading the Network Security Lab group since March 2020. He teaches courses including Practical Network Defense and Programming Unit 2 for Computer Science and Cybersecurity programs. His research spans information security , with emphasis on fake phenomena in social media , fake content analysis in review systems, adversarial machine learning , and network security for resource-constrained devices . His work integrates bio-inspired models for bot detection and focuses on resilient metrics against disinformation campaigns. Recent publications explore LLM-powered bot detection and IPv6 security. He leads the Prebunking research project predicting coordinated inauthentic behaviors in social media. His lab promotes initiatives like CyberX Mind4Future , offering cybersecurity training with virtualized labs and hackathons. Master's students in Cybersecurity under his guidance achieve 100% placement with top salaries in Italy. Spognardi maintains active collaborations with the Sysma group at IMT Lucca and previously worked with DTU IoT Center and CNR's Institute of Informatics and Telematics. His industry impact includes frameworks like SafeDroid for Android malware detection and analyses of IoT broker vulnerabilities.
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.
Professor Corrado Priami is a Full Professor of Computer Science at the University of Pisa and serves as the Vice-Rector for Knowledge Development. His career spans multiple institutions, including the University of Verona, University of Trento, and Stanford University. Full Professor of Computer Science, University of Pisa (2017–present) Visiting Professor, Stanford University (2016–2017) Full Professor, University of Trento (2001–2017) Associate Professor, University of Verona (2000–2001) His research interests focus on computational biology, machine learning, bioinformatics, and systems biology, with applications to health technology, personalized medicine, and vaccine development. Recent publications highlight advancements in digital vaccines, multi-omics integration, and holistic health databases. Scientific contributions include over 220 publications and €30 million in competitive research funding. He has founded institutions like COSBI and SPARK Pisa and served on advisory boards for EU programs, bioethics committees, and health technology firms. Medal from President Giorgio Napolitano for scientific achievements Coordinated 600+ research projects Supervised 100+ students
