جست‌وجوی استاد و پژوهشگر

Fabio Patriziمشاهده پروفایل

دانشیار

• Formal Methods
• Knowledge Representation
• Machine Learning
• +۷ مورد دیگر

Fabio Patrizi is an Associate Professor in Computer Science at the Department of Computer, Control and Management Engineering (DIAG) at Sapienza University of Rome. He serves as Coordinator of the Bachelor in Information Engineering program at the Latina site. His academic career includes significant service roles such as Editorial Board Member for the prestigious Artificial Intelligence Journal (AIJ) since 2023, Area Chair for ICSOC 2023, and co-chair for the KR 2025 track on Knowledge Representation & Reasoning and Planning & Scheduling. Patrizi's educational background led to National Scientific Habilitation for Full Professorship for sector SC 09/H1 (now GSD 09/IINF-05). His research spans Formal Methods, Knowledge Representation, Machine Learning, Reasoning about Action, Planning in AI, Service-oriented Computing, and Business Processes. His work focuses on theoretical, methodological, and practical aspects including Behavior and Service composition, Planning programs, MAS Verification, Reasoning About Actions, Infinite-plan synthesis, Data abstraction techniques, and Reinforcement Learning with non-Markovian Rewards. His publication record includes over 70 scientific papers in top-level international journals and conferences. Recent research trends show a strong focus on temporal reasoning in reinforcement learning, planning frameworks, process mining, and verification techniques. His work bridges theoretical foundations with practical applications in AI planning and verification. ICDT Test of Time Award on Automatic verification of data-centric business processes (2009) RMIT Visiting Researcher's Award (2011) ICAPS 2024 Outstanding SPC Award Patrizi has supervised 2 PhD students and actively serves on program committees for major AI conferences including AAAI, IJCAI, ICAPS, AAMAS, KR, and ECAI. His research projects include MARLeN (Principal Investigator, 2023-2025), AIPlan4EU (Task Leader, 2021-2023), DRAPE (Principal Investigator, 2019-2022), WhiteMech (Participant, 2019-2024), TAILOR (Participant, 2020-2023), VerySynCopated (Principal Investigator, 2014-2016), ACSI (Participant, 2010-2013), and SM4All (Participant, 2008-2011). He is a member of the Data Management & Service-Oriented Computing and Artificial Intelligence & Knowledge Representation research groups at DIAG, contributing to collaborative efforts in advanced AI research and applications.

• Medical Informatics
• E-learning
• Semantic Web
• +۵ مورد دیگر

Biagio Lenzitti is a Researcher at the Department of Mathematics and Computer Science , University of Palermo, School of Basic and Applied Sciences. He has taught courses like Programming and Laboratory , Computer Networks , and Educational Planning of Information Systems since at least 2015. Current Office Hours: Monday 9:00-11:00, Studio 201 Contact: biagio.lenzitti@unipa.it | +3909123891101 His research focuses on medical text simplification , patient empowerment , and interactive educational tools , including the development of systems like: MED-VTD: Multilingual Medical Dictionary SimpleHealth Platform: Medical Text Simplification Tools U-MedSearch: Meta Search Engine for Medical Content ETN-FETCH Project: Future Education in Computing Recent publications address AI-driven health information systems , IoT data sharing , and conversational agents for medical education. Key collaborations include the Anghelos Communication Studies Center and European networks like ETN-FETCH . He has supervised theses on topics spanning semantic web applications , open data , and network security since at least 2005.

• Circuit Reliability
• System-on-Chip (SoC) Testing
• Embedded Systems
• +۳ مورد دیگر

Paolo Bernardi is an Associate Professor at the Department of Control and Computer Engineering (DAUIN) , Politecnico di Torino. His academic career spans over 20 years with continuous contributions to circuit reliability and SoC testing. Research focuses on System-on-Chip Testing , Embedded Systems , and Automotive Electronics Key projects: ARBoard (Augmented Reality for PCB testing), TC4xx NVM Test Strategies, and multiple commercial collaborations with automotive industry leaders His work bridges Computer Architecture and Industrial Engineering , with significant contributions to Test Automation and Reliability Engineering . Recent publications analyze scan test cost models and logic diagnosis techniques for automotive SoCs. Scientific recognitions include: EDAA Outstanding Dissertation Award (2006) Best Paper Awards at DATE (2006) and DDECS (2016) IEEE Fellowship (2020-) As a PhD supervisor, he guides students in Automotive Reliability and Embedded Testing projects. His research involves collaborative efforts with institutions like CNRS and Université de Montpellier through the LIA LAFISI laboratory.

Giovanni FABBROCINOمشاهده پروفایل

استاد

• Civil Engineering
• Structural Engineering
• Structural Health Monitoring (SHM)
• +۴ مورد دیگر

Prof. Giovanni FABBROCINO is a Full Professor at the Department of Biosciences and Territory of the University of Molise . His research focuses on structural engineering, heritage conservation, and structural health monitoring (SHM). He specializes in seismic analysis of historical buildings, vibration-based diagnostics, and the integration of digital technologies like BIM and virtual reality for infrastructure assessment. His work bridges civil engineering with cultural heritage preservation, emphasizing interdisciplinary methodologies. Key research areas include: Seismic retrofitting of historical structures Non-destructive testing of masonry and RC structures Operational modal analysis (OMA) for dynamic characterization Remote sensing applications in structural monitoring Digital twin development for heritage conservation He leads projects involving advanced materials testing (e.g., weathering steel analysis) and crowd-based technologies for cultural heritage documentation. His methodologies often combine experimental measurements with computational models to enhance infrastructure safety in seismic-prone regions. Current research trends include AI-driven permission models for Android systems and probabilistic frameworks for healthcare facility safety networks. Prof. FABBROCINO collaborates with institutions like the StreGa Laboratory , advancing multidisciplinary approaches to sustainable urban regeneration and disaster resilience. His work contributes to both academic discourse and practical solutions for safeguarding historical centers and strategic infrastructure.

• Human-Computer Interaction
• Artificial Intelligence
• Software Engineering
• +۳ مورد دیگر

Antonio Curci is a second-year PhD student in Artificial Intelligence for Society at the University of Bari Aldo Moro, with co-affiliation to the University of Pisa. He is a member of the Information Visualization and Usability (IVU) Laboratory, supervised by Full Professor Rosa Lanzilotti and Associate Professor Antonio Piccinno. His research focuses on Human-Computer Interaction (HCI), particularly Symbiotic AI and its intersections with Artificial Intelligence, Software Engineering, and Cybersecurity. Education: M.Sc. in Computer Science (Security Engineering) from University of Bari (2022), with thesis on a serious game for cybersecurity using ISO 9241:210. B.Sc. in Computer Science (2021) with IoT environment for speech therapy. Research: Delineating methodologies for Symbiotic AI systems, emphasizing trustworthiness, usability, and cybersecurity. Contributions to serious games for cybersecurity education and usability evaluation in healthcare devices. Projects: Scholarship researcher (2022-2023) for the ISO 25000-certified eGLU-Box PA project at University of Bari. Publications: Co-author on 15 recent works addressing Symbiotic AI, serious games for cybersecurity, usability in ICU ventilators, and speech therapy technologies. Membership: Active in ACM SIGCHI, ACM, IFIP Working Group 13.11/12.14 (Human-Centered Intelligent Systems), and ItalianRSA.

• Parallel Computing
• Distributed Systems
• Electronic Design Automation
• +۶ مورد دیگر

Lorenzo Cardone is a PhD student (38th cycle, 2022-2025) in Computer and Systems Engineering and serves as an External Lecturer at Politecnico di Torino's Department of Control and Computer Engineering (DAUIN). His academic appointments include: Part-time Teaching Assistant for Operating Systems courses (2023-2026) Research collaboration with the Formal Methods (FM) research group Education background includes: Bachelor's in Computer Science (2019) Master's in Computer Graphics and Multimedia (2021) Research focuses on parallel computing infrastructures, software optimization for complex graph problems, and Electronic Design Automation (EDA) applications. Specific interests span: Parallel/distributed systems architecture Quantum computing implementations Circuit simulation techniques Fault tolerance in digital systems Automotive SoC testing methodologies Recent publications (2024-2025) demonstrate specialization in test program optimization, SoC validation, and heuristic approaches for large-scale circuit analysis, primarily published in IEEE Transactions on Computers and major test engineering conferences. No awards or student advisement mentioned. Research conducted within DAUIN's Formal Methods group under supervisors Stefano Quer and Paolo Bernardi.

Leonardo Marianiمشاهده پروفایل

استاد

• Software Engineering
• Automated Testing
• GUI Testing
• +۳ مورد دیگر

Leonardo Mariani is a Professor at the University of Milan Bicocca, specializing in software engineering with a focus on software testing and analysis. He actively leads and participates in European and national research projects such as the ERC-funded 'Learn' and 'AST' projects, as well as H2020 NGPaaS. His research spans automated testing, GUI testing, AI-based code assistants, and cloud system monitoring. He has contributed to improving software testability, runtime enforcer testing, and AI-driven development tools. His work emphasizes practical applications in mobile and edge computing environments. Recent publications highlight innovative approaches to test case generation, energy-efficient AI systems, and ethical/legal implications of AI-generated code. Mariani's scientific achievements include the ERC Consolidator Grant 2014 and Proof of Concept funding, alongside senior memberships in IEEE and ACM. As principal investigator in multiple projects, he bridges academic research with industry needs, focusing on Kubernetes testing, Android compatibility, and formal methods in software quality. His collaborative efforts involve advising students and coauthoring over 233 publications.

Filippo Riccaمشاهده پروفایل

استاد

• Software Engineering
• Web Testing
• Automated Testing
• +۳ مورد دیگر

Filippo Ricca is a Full Professor in the Department of Computer Science, Bioengineering, Robotics, and Systems Engineering (DIBRIS) at the University of Genoa, Italy. He teaches undergraduate and graduate courses including Introduction to Computer Science and Programming, Programming Laboratory, Fundamentals of Software Engineering, and Functional and Security Testing Techniques for Computer Engineering and Computer Science programs. His research expertise centers on software engineering with emphasis on automated testing methodologies, particularly for web and mobile applications. Key focus areas include mutation testing, robustness of web locators, security testing, and the integration of artificial intelligence tools like ChatGPT and GitHub Copilot for test script generation. He has developed novel tools such as Mutta for end-to-end web mutation testing and pioneered gamification approaches to improve test stability. Ricca's recent publications (2024-2025) demonstrate a strong research trajectory toward leveraging AI to solve persistent challenges in software testing. His work addresses critical issues like test script fragility due to evolving web interfaces, the efficacy of large language models in generating reliable test cases, and experimental validation of testing frameworks. This research significantly advances the reliability and efficiency of modern software testing practices. He maintains active teaching responsibilities for the 2025-2026 academic year and continues to publish impactful research through the University of Genoa's IRIS publications database, reflecting ongoing contributions to software engineering scholarship.

• Power Electronics
• Embedded Systems
• Software Testing
• +۳ مورد دیگر

Davide Piumatti is a Lecturer and Technical Services Coordinator at the Department of Control and Computer Science (DAUIN) , Polytechnic University of Turin . He actively contributes to teaching in Computer Engineering , Automotive Engineering , and Aerospace Engineering programs. Specializes in Power Electronics and Embedded Systems Focuses on Software Testing and Automotive Engineering Key interests: Digital Transformation and Public Administration Technologies His recent publications emphasize thermal modeling for power devices, multi-core testing in automotive systems, and reliability engineering . He contributes to IEEE conferences and journals like Microelectronics Reliability and Electronics . Piumatti is affiliated with the LABINF - Advanced Computer Science Teaching Laboratory (DAUIN) and collaborates with researchers such as Matteo Sonza Reorda and Francesco Angione . His work addresses fault detection , test library development , and cyber-physical system validation .

Alessandro Midoloمشاهده پروفایل

استاد مدعو

• Code Refactoring
• Software Testing
• Parallel Computing
• +۳ مورد دیگر

Alessandro Midolo is an Adjunct Professor of Computer Science at the Department of Mathematics and Computer Science (DMI) of the University of Catania, Italy. His research focuses on code refactoring, software testing, and parallel computing, with a particular emphasis on improving source code quality and automating robustness injections into distributed systems. Research Interests : Code Refactoring Software Testing Parallel Computing Source Code Quality Mining Software Repositories Software Maintenance Recent Publications highlight advancements in distributed application robustness, automated test generation, Java stream refactoring, and parallel code transformation. His work bridges theoretical insights with practical tools for developers. Contact : alessandro.midolo@unict.it

Enea Zaffanellaمشاهده پروفایل

دانشیار

• Static Analysis
• Software Verification
• Abstract Interpretation
• +۷ مورد دیگر

Enea Zaffanella is an Associate Professor in Computer Science at the University of Parma , where he has been affiliated since 2000. His academic career spans from Fellow Researcher to Assistant Professor, culminating in his current role since 2006. He teaches courses in Programming Methodologies , Compilers , and Foundations of Computer Science at both undergraduate and graduate levels. PhD in Computer Science from School of Computing, University of Leeds (2002) Laurea in Computer Science from University of Pisa (1993) Research focuses on Static Analysis and Software Verification using Abstract Interpretation . Key contributions include theoretical frameworks for Constraint Logic Programs analysis, Convex Polyhedra abstractions, and Widening Operators design. His work bridges formal theory with practical implementations like the Parma Polyhedra Library (PPL) and its successor PPLite . Recent publications explore Hybrid Systems verification, Data Science linting tools (Pyra), and EVM Bytecode analysis. He received the Radhia Cousot Young Researcher Best Paper Award in 2019. Collaborations include academic Research Projects (PRIN, ESPRIT) and industrial partnerships through BUGSENG srl .

• Artificial Intelligence
• Machine Learning
• Software Engineering
• +۴ مورد دیگر

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.

Alessandro Pirondiمشاهده پروفایل

استاد

• Mechanical Engineering
• Materials Science
• Structural Integrity
• +۵ مورد دیگر

Alessandro Pirondi is a Full Professor at the University of Parma, affiliated with the Department of Systems Engineering and Industrial Technologies (DISTI) under the Faculty of Engineering. His academic career spans over two decades, with teaching responsibilities in Mechanical Engineering and Food Industry Engineering programs. He serves as Director of the SITEIA.PARMA Interdepartmental Center since 2013. B.Sc. and Ph.D. in Mechanical Engineering from University of Parma and University of Pisa Member of editorial boards for The Journal of Adhesion , International Journal of Adhesion and Adhesives , and Materials Research Focus : Specializes in material damage/fracture analysis, adhesive joint simulation, friction stir welding, and structural optimization. His work bridges theoretical analysis with industrial applications in aerospace and food processing sectors. Publications : Recent works focus on 3D printing applications in bonded joints, AI-augmented material characterization, and hygienic design in food machinery. Common themes include fracture mechanics, composite materials, and high-frequency fatigue analysis. Scientific Recognition : ASTM Award (2002) for Journal of Testing and Evaluation article Academic Leadership : Supervised 8 Ph.D. students, coordinated 20+ research contracts, and directed the SITEIA interdepartmental center. Managed educational programs and served on multiple university committees.

• Sensors and Instrumentation
• Biomedical Engineering
• Optical Measurements
• +۴ مورد دیگر

Luigi Rovati is a Full Professor at the Department of Engineering 'Enzo Ferrari' , University of Modena and Reggio Emilia. His research focuses on advanced sensors and instrumentation for biomedical, automotive, and industrial applications. Key research areas: optoelectronic instrumentation , optical retroreflection , non-invasive blood monitoring , and nanoparticle detection . He leads the Measurements, Instrumentation and Sensors Group , which moved from the University of Brescia to Modena in 2001. The group operates four laboratories: OptoLab, BrightLab, MS2, and ASELab. His recent publications address LiDAR performance in fog , bioprinted tissue models for fibrosis , self-powered biosensors , and impedance spectroscopy for nano-plastics . The group supports technology transfer , spin-off development , and industry collaboration . Current teaching activities include courses on Hardware and Software Co-Design and Optoelectronic Instrumentation and Sensors for the Master's Degree in Electronic Engineering .

• Computer Science
• Cybersecurity
• Edge and Cloud Computing
• +۴ مورد دیگر

Luca Ferretti is an Associate Professor at the University of Modena and Reggio Emilia , affiliated with the Department of Physical, Computer and Mathematical Sciences . His research focuses on cybersecurity, edge/cloud computing, and machine learning applications in security. Office located in the former Mathematics campus (Building MO18, third floor), Modena, Italy Scientific disciplinary sector: INFO-01/A Computer Science Research areas include: Edge and Fog Computing Automotive Cyber Security Security for Industry 4.0 Security for Machine Learning and Machine Learning for Security Applied Cryptography for Network and Information Security Luca is a core member of the SECloud (Security Edge and Cloud Lab) , which operates within the Department of Engineering 'Enzo Ferrari' and collaborates with the Interdepartmental Research Center on Security and Risk Prevention (CRIS). His recent publications highlight applications of adversarial AI, decentralized systems, and secure automotive communication protocols.