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

Monica Mordoniniمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Autonomous Systems
• Computer Vision
• +۱۳ مورد دیگر

Monica Mordonini is an Associate Professor in the Department of Computer Engineering at the Faculty of Engineering, University of Parma, where she has been a faculty member since 1999. She teaches courses across multiple programs including Computer Engineering, Engineering Management, Civil and Environmental Engineering, and Law, with a focus on Artificial Intelligence, Software Engineering, and Information Systems. Her research interests lie primarily in Artificial Intelligence , with emphasis on visual sensors, unconventional vision algorithms for autonomous systems, and applications in video surveillance. More recently, her work extends to information extraction from distributed multimedia databases, semantic web applications, and ontology design for smart environments. She is actively involved in interdisciplinary research, particularly in healthcare technology, including patient tracking and operating room optimization using IoT and digital twin technologies. The most recent publications reflect a strong trend toward applied AI in healthcare and intelligent systems. Her work integrates computer vision, real-time data processing, and system modeling to improve clinical workflows and service delivery. Themes such as digital twins, location-based services, and simulation-based optimization are central to her current research trajectory. Scientific Awards: No scientific awards mentioned in the provided text. Advising and Grants: There is no explicit information about PhD or Master’s students she has advised. Similarly, no grants or funded projects are detailed in the text, though her collaborative publications suggest involvement in research initiatives, particularly in healthcare and intelligent systems. Labs and Research Teams: While specific lab affiliations are not mentioned, Monica Mordonini collaborates extensively with researchers in healthcare, engineering, and computer science, particularly in projects involving patient tracking, operating room systems, and digital libraries. Her work appears to be conducted within interdisciplinary teams at the University of Parma, likely connected to intelligent systems and applied AI laboratories.

• Artificial Intelligence
• Deep Learning
• Natural Language Processing
• +۱۲ مورد دیگر

Gianfranco Lombardo is a Fixed-Term Researcher (RTD-A) at the Department of Engineering and Architecture, University of Parma, where he also earned his academic degrees. He has served as an Adjunct Professor and Research Fellow at the same institution and was a Visiting Researcher at the University of Florida's Herbert Wertheim College of Engineering. His educational background includes: Bachelor's in Computer, Electronics, and Telecommunications Engineering (2014), University of Parma Master's in Computer Engineering (2017), University of Parma Ph.D. in Information Technology (2021), University of Parma His research focuses on Artificial Intelligence , particularly Deep Learning , Natural Language Processing , and Knowledge Extraction from semi-structured data such as documents and social media. He applies these techniques in diverse domains including finance and healthcare. His work on predictive maintenance of LGVs using unsupervised learning and digital twins for operating rooms highlights his interdisciplinary approach. He is also involved in continual learning systems for location-based services. The recent publications (2024) demonstrate a strong trend in applying NLP and deep learning to financial data analysis (e.g., SEC filings, bankruptcy prediction) and healthcare optimization (e.g., digital twins for hospital operations). These works integrate multi-modal data and end-to-end architectures, showing a focus on practical, real-world applications of AI. He has taught courses such as Big Data and Business Intelligence , Programming of Mobile Systems , and Fundamentals of Computer Programming for Text Analysis across various programs including Information Systems Engineering, Data Science for Management, and Computer Engineering. He also served as a teacher tutor for Computer Engineering students. Professionally, he has worked as an AI consultant and as a Technical Consultant of Party (CTP) for the Genoa Court on software development matters. He is a registered professional engineer (Information Sector) in Crotone (No. 843).

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

Fabio Palomba is an Associate Professor at the Department of Computer Science , University of Salerno, Italy. He earned a European PhD in Management & Information Technology (2017), funded by University of Salerno and University of Molise, under advisor Prof. Andrea De Lucia. His research spans software maintenance and evolution , empirical software engineering , and ML systems quality . Recipient of IEEE Computer Society Best PhD Thesis Award (2017) Multiple Distinguished Paper Awards from ACM/SIGSOFT and IEEE/TCSE Recipient of prestigious SNSF Ambizione grant (2019) and IEEE Rising Star Award (2023) His work investigates fairness-aware practices in ML , technical debt in AI systems , and LLM applications in software engineering . Recent studies focus on automated requirements generation via RECOVER, quantum software engineering , and socio-technical community smells in ML-enabled systems, with empirical analyses across large datasets. Key editorial roles include Elsevier's Information and Software Technology Journal (2022-), Springer's Empirical Software Engineering Journal (2021-), and IEEE Transactions on Software Engineering (2020-). He has served as program co-chair for SANER 2024 , ICPC 2021 , and multiple conference tracks. 16 Distinguished Reviewer Awards for his refereeing work Co-authored 80+ journal papers , 100+ conference papers , and advised 300+ theses

Michele Pasquaمشاهده پروفایل

استادیار

• Computer Science
• Software Engineering
• Static Analysis
• +۳ مورد دیگر

Michele Pasqua is a Tenure-Track Assistant Professor in Computer Science at the University of Verona. His research focuses on software engineering, static analysis, and abstract interpretation, with active participation in conferences like ICSE, ASE, and SAS. He maintains a personal GitHub repository ( michelepasqua.github.io ) and engages in academic event organization. Research interests include automated software engineering, security testing, and formal methods for code verification. Conference involvement spans roles as program committee member (e.g., ICSE 2024, ASE 2025) and organizer (e.g., Lipari Summer School on Abstract Interpretation). No explicit awards or educational details are provided in the scraped text. Recent publication activity includes a 2024 paper (ICSE24) related to software engineering verification techniques, though full details require accessing the associated PDF or BibTeX files in his repository.

• Human-AI Collaboration
• Artificial Intelligence
• Data Science
• +۳ مورد دیگر

Zhe Yu is an Assistant Professor in the Department of Software Engineering at Rochester Institute of Technology (RIT), leading the HIL-SE Lab since August 2020. Previously, he earned his Ph.D. in Computer Science from North Carolina State University, where he worked in the RAISE Lab under Dr. Tim Menzies, and holds an M.S. and B.S. from Shanghai Jiao Tong University in Control Science & Engineering and Automation, respectively. Education : Ph.D. (Computer Science, NC State), M.S. (Control Science & Engineering, SJTU), B.S. (Automation, SJTU) Leadership : Founded HIL-SE Lab at RIT Yu focuses on human-AI collaboration , advocating for AI systems that enhance human capabilities rather than replace them. His research emphasizes: Partnership models where humans and AI mutually validate outputs Optimizing human effort allocation through AI Quality assurance in human-AI workflows Applications in software engineering and data science He teaches courses including DSCI 633: Foundation of Data Science , IDAI 720: Research Methods for AI , and SWEN 352: Software Testing .

Andrea Stoccoمشاهده پروفایل

استادیار

• Software Testing
• Deep Learning
• Autonomous Driving Systems
• +۴ مورد دیگر

Andrea Stocco is an Assistant Professor at the Technical University of Munich (TUM) within the Chair of Software Engineering for Data-Intensive Applications and the School of Computation, Information and Technology , while also serving as Head of the Automated Software Testing Field of Competence at fortiss GmbH in Munich. His research bridges software engineering and deep learning, focusing on enhancing the robustness, reliability, and dependability of data-intensive systems, particularly in autonomous driving and web applications. Key research areas: Testing AI-based systems, autonomous driving validation, computer vision for software engineering, web test automation, and reliability of DL systems Notable awards: IEEE Computer Society TCSE Distinguished Paper Award (2025), ACM SIGSOFT Distinguished Artifact Award (2020), Best Presentation Award at NEXTA 2021 Leadership roles: Program Chair for ASE 2024 (Research Track), ICSE 2024 (Demonstration Track), and SCAM 2024 (Research Track) Editorial involvement: Empirical Software Engineering journal (2025), Journal of Software: Evolution and Process (2024), ACM TOSEM Replicated Computational Results Distinguished Reviewers Board His work explores techniques like anomaly detection, uncertainty quantification, and attention maps to improve safety-critical systems' testing. Recent publications examine digital twins for autonomous driving, generative AI in test input generation, and the reality gap between virtual and physical testing environments. Andrea actively contributes to conference program committees in software engineering and testing, including ASE, ICSE, FSE, and ICST.

Elmo Benedettoمشاهده پروفایل

مدرس

• Computer Science
• Information Technology
• Software Engineering
• +۳ مورد دیگر

Elmo Benedetto is a Lecturer in the Department of Computer Science at the University of Salerno, Italy. He contributes to teaching and academic activities within the department, with a focus on computer science disciplines. His research interests, inferred from his departmental affiliation, span key areas in computer science including software engineering, algorithms, artificial intelligence, and information technology. These domains reflect the core strengths of the Department of Computer Science at the University of Salerno. No publications or research trends can be analyzed due to lack of available data in the provided text. There are no listed scientific awards or honors. There is no information available regarding student advisement or research grants. No laboratories or research teams are specified in the current profile.

Federico Bergentiمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Software Engineering
• Multi-agent Systems
• +۴ مورد دیگر

Federico Bergenti is an Associate Professor in Computer Science at the University of Parma, affiliated with the Department of Industrial Systems and Technologies Engineering (DISTI) and the Department of Mathematics, Physics, and Computer Science. He serves as Chair of the AI Lab since 2015 and is actively involved in teaching Artificial Intelligence, Software Engineering, and related courses across multiple degree programs. His educational background includes a Laurea degree (M.Sc.) in Electronic Engineering from the University of Parma (1998) and a Ph.D. in Information Technologies from the same institution (2002). Prior to his academic career, he worked at CSELT S.p.A. (1998-1999) and CNIT (2000-2006). Bergenti's research primarily focuses on Artificial Intelligence and Software Engineering, with special emphasis on multi-agent systems. His work spans agent communication languages, architectures for agent-based middleware, reusability in agent systems, and more recently, agent programming languages based on constraint logic programming. He is among the founders of the JADE initiative and remains active in the Agent-Oriented Software Engineering research community. Analysis of his recent publications reveals a consistent research trajectory centered on agent-oriented programming (particularly JADEScript), indoor positioning systems, neural-symbolic integration, and mathematical modeling of multi-agent dynamics using kinetic theory approaches. His work demonstrates strong interdisciplinary connections between computer science, mathematics, and engineering applications. Professionally, Bergenti has coordinated various scientific initiatives, served on the Senior Program Committee of the AAMAS international conference since 2006, hosted the IEEE WETICE conference in Parma in 2014, and served as Program Chair for WETICE 2016. He has participated in numerous European Commission-funded research projects under the 5th and 6th Framework Programmes. He leads the AI Lab at the University of Parma, where his team develops practical applications of agent-based systems, including indoor localization technologies, health assistance systems, and social network modeling. His research combines theoretical foundations with real-world implementations, particularly through the JADE multi-agent framework.

Paolo Falcarinمشاهده پروفایل

دانشیار

• Cybersecurity
• Software Engineering
• Artificial Intelligence
• +۵ مورد دیگر

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 Luccioمشاهده پروفایل

دانشیار

• Computer Security
• Cryptography
• Distributed Systems
• +۳ مورد دیگر

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.

• Computer Science
• Programming Languages
• Blockchain Technology
• +۳ مورد دیگر

Alvise SPANO' is a Researcher at Ca' Foscari University of Venice, affiliated with the Department of Environmental Sciences, Computer Science and Statistics. He is also part of the Research Institute for Complexity. His academic focus includes Blockchain Programming Languages, Programming Languages, and Information Systems. Research projects include ALGOMOVE for Algorand and the RINmaker bioinformatics tool. He has taught courses like Object-Oriented Programming and Introduction to Programming at both undergraduate and doctoral levels. Research interests span smart contract analysis, type systems, and cybersecurity in distributed systems. He contributed to projects like secure RPL for mobile networks and Android-LEGO interoperability. Funding includes the CEVID 2016 project (Role: LD), collaboratively managed with researchers like Agostino Cortesi and Salvatore Orlando. His work bridges theoretical foundations (e.g., COBOL code typing) with practical applications in wearable systems and bioinformatics. Collaborations include the Blockchain Programming Languages research group with Lorenzo Benetollo and Sabina Rossi.

• Artificial Intelligence
• Health Informatics
• Semantic Web Technologies
• +۵ مورد دیگر

Antonella Carbonaro is a **Confirmed Associate Professor** at the **Department of Computer Science and Engineering** of the University of Bologna. She holds a PhD in Intelligent Artificial Systems from the University of Ancona and has conducted post-doctoral research in AI. Her work focuses on **data and knowledge modeling for semantic representation**, particularly in healthcare domains. She leads major projects like the **DARE initiative** (digital lifelong prevention) and the **Cancer Virtual Lab**, leveraging knowledge graphs and AI to advance healthcare analytics. She is also involved in gender-balance initiatives like the **Ragazze Digitali** program and contributes to EU projects such as TEHDAS2 (European Health Data Space). Her research integrates semantic web technologies, FHIR standards, and digital twin systems to enhance healthcare interoperability and decision-making. She has been awarded the **National Scientific Qualification (ASN) for Full Professor** (2023). She serves on committees including the Emilia-Romagna Region’s AI in Healthcare Working Group and chairs multiple project work packages.

• Artificial Intelligence
• Formal languages
• Formal methods
• +۵ مورد دیگر

Marco Roveri is an Associate Professor at the Department of Information Engineering and Computer Science, University of Trento. His expertise spans Artificial Intelligence, Formal languages, Formal methods, Mathematical logic, Modeling and simulation, and Software engineering. Teaching: Courses on Automated Planning and Practice, and Programming 1 (C++). Research Focus: AI planning/scheduling, robotics, and domain modeling using languages like PDDL. Contact: Via Sommarive, 9 - 38123 Povo; +39 0461 285259

• Computer Science
• Artificial Intelligence
• Logic Programming
• +۷ مورد دیگر

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.

Davide Anconaمشاهده پروفایل

دانشیار

• Formal Methods
• Runtime Verification
• Programming Languages
• +۳ مورد دیگر

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.