جستجوی استاد راهنمای دانشگاهی

Fabrizio Riguzziمشاهده پروفایل

استاد

• Logic Programming
• Statistical Relational Artificial Intelligence
• Probabilistic Logic Programming
• +۳ مورد دیگر

Fabrizio Riguzzi is a Full Professor at the Department of Mathematics and Computer Science of the University of Ferrara, Italy. His academic career spans over two decades at the same institution, having served as Associate Professor (2014-2020) and Assistant Professor/Ricercatore (1999-2014). He is an active researcher in the fields of Logic Programming and Statistical Relational Artificial Intelligence with numerous publications and leadership roles in international conferences. His educational background includes: PhD in Electronic and Computer Engineering from the University of Bologna (1999) Laurea in Computer Engineering from the University of Bologna (1995) Riguzzi's research focuses on probabilistic approaches to artificial intelligence, particularly probabilistic logic programming and statistical relational AI. His work bridges symbolic reasoning with probabilistic methods, developing frameworks for uncertain knowledge representation and reasoning. He has made significant contributions to probabilistic answer set programming, neuro-symbolic integration, and applications in areas like network intrusion detection and knowledge graph completion. His research demonstrates how logical formalisms can be enhanced with probabilistic reasoning to tackle real-world problems with uncertainty. An analysis of his recent publications reveals a strong trend toward integrating neural and symbolic approaches in AI, with significant work on probabilistic answer set programming frameworks. His research spans theoretical foundations of probabilistic logic programming, practical implementations, and applications in cybersecurity, knowledge graphs, and decision-making under uncertainty. The interdisciplinary nature of his work connects computer science theory with practical AI applications. His notable awards include: Alain Colmerauer 10-Year Test-of-Time Award at ICLP 2021 Best Paper Award for "BUNDLE: A Reasoner for Probabilistic Ontologies" at RR-2013 Highly Commended Paper Award for "Probabilistic declarative process mining" at KSEM 2010 Riguzzi has supervised several PhD students to completion, including Elena Bellodi, Riccardo Zese, and Giuseppe Cota, who have gone on to win prestigious awards for their theses. He has served in numerous editorial roles, including Associate Editor of the Journal of Artificial Intelligence Research and Editor in Chief of Intelligenza Artificiale. His leadership extends to organizing major conferences like ILP 2018 and serving on program committees for top AI venues including IJCAI, AAAI, and ECAI. He is a member of the ML@unife research group and has developed several online systems including cplint, TRILL, and an Online AUC calculator. His work has fostered collaborations across the AI research community, particularly in the areas of probabilistic logic programming and neuro-symbolic AI.

Gianluca Cimaمشاهده پروفایل

استادیار

• Knowledge Representation and Reasoning
• Description Logics and Ontologies
• Database Theory
• +۳ مورد دیگر

Gianluca Cima is an Assistant Professor at the Department of Computer, Control and Management Engineering of Sapienza University of Rome since April 2023, following a postdoctoral position at CNRS's LaBRI laboratory (University of Bordeaux) from February 2021 to March 2023. His educational background includes: PhD in Engineering in Computer Science from Sapienza University of Rome (2020), supervised by Prof. Maurizio Lenzerini, with a six-month visiting period at the University of Oxford Dr. Cima's research centers on Knowledge Representation and Reasoning , Description Logics and Ontologies , and Ontology-Based Data Management , with significant contributions to Controlled Query Evaluation for secure data access. His work bridges theoretical foundations in description logics with practical applications in semantic technologies, as demonstrated by co-chairing the First International Workshop on Logical Foundations of Neuro-Symbolic AI (LNSAI 2024). Analysis of his 2024-2025 publications reveals a concentrated research trajectory in controlled query evaluation mechanisms, entity resolution systems, and ontology-based data integration, increasingly incorporating epistemic reasoning and security policies while maintaining strong ties to database theory fundamentals. His scientific recognition includes: EurAI Doctoral Dissertation Award (2020) for "Abstraction in Ontology-based Data Management" (published in FAIA book series) Distinguished Paper Award at IJCAI 2024 Dr. Cima serves as Guest Editor for the "Knowledge Representation and Ontology-Based Data Management" special issue in Information journal and has held leadership roles including Program/General Co-Chair for LNSAI 2024. His academic service and editorial work indicate active grant involvement and research direction-setting within his field. He is embedded in Sapienza's Data Management and Semantic Technologies research group, contributing to the Artificial Intelligence and Knowledge Representation domain through collaborative projects in semantic web technologies and knowledge-based systems development.

• Computational Logic
• Answer Set Programming
• Bioinformatics
• +۶ مورد دیگر

Alessandro Dal Palu' is an Associate Professor at the Department of Mathematical, Physical, and Computer Sciences at University of Parma. He holds a PhD in Computer Science from University of Udine and has been with University of Parma since 2005, transitioning from Researcher to Associate Professor in 2014. His teaching portfolio includes courses on Computer Architecture, Constraint Programming, and Algorithms & Data Structures. His research spans computational logic, bioinformatics, and GPU computing. Notable achievements include the 2007 GULP award for his Ph.D. thesis and the ICLP 2010 best paper award. He has led Italian INdAM-GNCS research projects on GPU applications (2011) and Logic Programming in cancer genomics (2016). Recent publications focus on explainable AI frameworks, bioinformatics applications, and sustainable logistics solutions. His work integrates Answer Set Programming with biomedical challenges like protein structure analysis and cancer genome evolution. He chairs the International Conference on Logic Programming (ICLP 2018) and has organized multiple international workshops on constraint programming. 2007 GULP Award ICLP 2010 Best Paper PI for INdAM-GNCS projects (2011, 2016) Program Committee member for international conferences

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

استاد

• First Person (Egocentric) Vision
• Computer Vision
• Pattern Recognition
• +۱ مورد دیگر

Giovanni Maria Farinella is a Full Professor at the Department of Mathematics and Computer Science, University of Catania, Italy. He is the Founder Member of the IPLAB Research Group at University of Catania since 2005, an Associate Member of the Computer Vision and Robotics Research Group at University of Cambridge since 2006, and an Associate Member of the Italian National Research Council since 2018. He serves as Scientific Advisor of the NVIDIA AI Technology Centre and board member of the CINI Laboratory of Artificial Intelligence and Intelligent Systems. Dr. Farinella obtained his degree in Computer Science (summa cum laude) from the University of Catania in 2004 and was awarded a Doctor of Philosophy (Computer Vision) from the same institution in 2008. He has obtained the National Scientific Qualification to Associate Professor in 2013-2014 and to Full Professor in 2018. His primary research interests focus on First Person (Egocentric) Vision, Computer Vision, Pattern Recognition, and Machine Learning. Dr. Farinella has pioneered research in egocentric video analysis, object interaction detection, activity recognition, and scene understanding from a first-person perspective. His work bridges theoretical computer vision with practical applications in industrial settings, healthcare, and cultural heritage sites. His recent publications demonstrate a clear trajectory toward more sophisticated, real-time egocentric vision systems capable of understanding complex human activities, anticipating actions, and detecting procedural mistakes through integration of visual analysis, gaze tracking, and large language models. Dr. Farinella has published extensively in top-tier computer vision venues, with his most recent work focusing on egocentric action anticipation, mistake detection in procedural tasks, and the integration of multimodal large language models with visual understanding. His research shows strong emphasis on practical industrial applications while advancing fundamental computer vision techniques. PAMI Mark Everingham Prize 2017 Intel's 2022 Outstanding Researcher Award Dr. Farinella has served as Associate Editor for IEEE Transactions on Pattern Analysis and Machine Intelligence, Pattern Recognition - Elsevier, and International Journal of Computer Vision. He has held leadership roles as Area Chair for CVPR 2020/21/22/23, ICCV 2017/19/21/23, ECCV 2020, and as Program Chair of ECCV 2022. He founded and directs the International Computer Vision Summer School (since 2006) and the Medical Imaging Summer School (since 2014). As PI of the EGO4D project, he helped create one of the largest egocentric video datasets with over 3,670 hours of footage from 923 participants across 74 locations worldwide. His IPLAB research group leads multiple significant projects including VALUE, ENIGMA, and FIPEVIS, with strong industry collaborations.

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

دانشیار

• Computational Logic
• Logic programming
• Answer Set Programming (ASP)
• +۹ مورد دیگر

Andrea Formisano is an Associate Professor in Computer Science at the Department of Mathematics, Informatics and Physics (DMIF) at the University of Udine, Italy. His research spans diverse areas within computational logic, including logic programming, answer set programming (ASP), constraint logic programming (CLP), action languages, automated deduction, theory reasoning, set theory, relational reasoning, GPU computing, and non-classical logics. Contact : Via delle Scienze 206, 33100 Udine, Italy | Tel: +39 0432 558496 | Fax: +39 0432 558400 Teaching : Offers courses on Operating Systems and Programming on Parallel Architectures through the university's elearning platform. Research Keywords : Computational Logic, Logic programming, ASP, CLP, Action languages, Automated deduction, Theory reasoning, Set theory, Relational reasoning, GPU computing, Games, Non-classical Logics. Professional Affiliations : Active in academic events such as the International Conference on Logic Programming (ICLP), Italian Conference on Computational Logic (CILC), and the Association for Logic Programming (ALP). He is also affiliated with the Italian Association for Logic Programming (GULP).

Sergio Tessarisمشاهده پروفایل

استادیار

• Semantic Technologies
• Description Logics
• Knowledge Representation
• +۶ مورد دیگر

Sergio Tessaris is an Assistant Professor at the KRDB Research Center for Knowledge and Data, affiliated with the Faculty of Computer Science at the Free University of Bozen-Bolzano. His research focuses on semantic technologies, Description Logics, and data-aware workflows. University: Free University of Bozen-Bolzano School: Faculty of Computer Science Emails: Sergio.Tessaris@unibz.it, tessaris@inf.unibz.it Research Interests: His work centers on semantic technologies for data access and process management, including Description Logics reasoning algorithms, declarative business processes, and ontology-driven systems. He has contributed to temporal event data analysis, chatbot design for legal reporting, and SQL null value handling. Recent publications emphasize business process verification, constraint mining, and deep learning applications. Teaching Activities: Local coordinator of the European Masters Program in Computational Logic (EMCL) Lecturer for courses: Integrated Logic Systems, Computational Logic, Introduction to Artificial Intelligence, Non-monotonic Logics Teaching assistant for Semantic Web Technologies and XML/Semi-structured Databases Organisational Contributions: Co-organiser of DL 2007 and DL 2002 workshops Former member of Description Logic steering committee Program committee member for conferences including AAAI-06, ESWC, ISWC, and ODBASE

Matteo Cardelliniمشاهده پروفایل

پژوهشگر

• Artificial Intelligence
• Automated Planning
• Robotics
• +۳ مورد دیگر

Matteo Cardellini serves as a Contract Professor in the Department of Naval, Electrical, Electronic, and Telecommunications Engineering (DITEN) and Researcher in the Department of Computer Science, Bioengineering, Robotics and Systems Engineering (DIBRIS) at the University of Genoa's Polytechnic School. He teaches core courses including Algorithms, Artificial Intelligence, and Artificial Intelligence for Robotics II across Computer Engineering and Robotics Engineering degree programs. His research centers on advancing Automated Planning systems with specialization in numeric/temporal planning, PDDL+ frameworks, and Answer Set Programming applications. Key focus areas include developing optimization algorithms for in-station train dispatching, urban traffic management, and healthcare rehabilitation scheduling, leveraging hybrid planning techniques and multi-scale deep learning models to solve complex real-world operational challenges. Recent publications (2020-2025) reveal a concentrated research trajectory in applying symbolic-numeric planning to transportation logistics (60% of output) and healthcare optimization (25%), characterized by innovative constraint-based approaches for dynamic environments. The work consistently bridges theoretical AI advancements with practical implementations in railway operations and medical resource allocation. Scientific Awards: No awards or fellowships documented in source materials Advising and grants information is unavailable in provided texts, with no student listings or funding acknowledgments evident. His research appears conducted within university-affiliated teams focused on AI planning systems, though specific lab structures or collaborative networks aren't detailed in the source documentation.

Francesco Cauteruccioمشاهده پروفایل

استادیار

• Social and Complex Network Analysis
• Data Mining and Data Science
• Internet of Things (IoT)
• +۳ مورد دیگر

Francesco Cauteruccio is a Tenure-Track Assistant Professor at the Department of Information Engineering, Electrical Engineering and Applied Mathematics (DIEM) at the University of Salerno, Italy. He is affiliated with the CORE and S 3 labs, focusing on interdisciplinary research at the intersection of social networks, IoT, and hybrid AI models. Ph.D. in Mathematics and Computer Science, University of Calabria (thesis: "Generalizing Identity-Based String Similarity Metrics: Theory and Applications") Italian National Scientific Qualification (ASN) for Associate Professor in Computer Science and Computer Engineering Visiting researcher at University of Klagenfurt (AI & Cybersecurity) and University of Lyon 1 (CERMEP/CREATIS) His research spans: Social & Complex Networks: Modeling cross-blockchain ecosystems, Reddit community dynamics, and sentiment propagation IoT & Hybrid Intelligence: Scope formalization, anomaly detection in MIoT networks, and air quality prediction systems Logic Programming: Integrating Answer Set Programming with machine learning for medical informatics and pattern mining Algorithm Design: Multi-Parameterized Edit Distance (MPED) for bioinformatics and network analysis Recent publications address network theory applications, hybrid reasoning frameworks, and high-utility pattern mining with formal constraint specification. He serves as guest editor for journals like Big Data and Cognitive Computing and Frontiers in Medical Engineering , and organizes international workshops on hybrid intelligence (HYDRA, VIPERC). Academic distinctions: Italian National Scientific Qualification for Associate Professor positions (2024) Guest Editor for 12+ special issues in data science and IoT journals Program/General Chair for 8 international workshops (2022-2024) His teaching portfolio includes courses on algorithms, distributed systems, and data analytics at University of Salerno, Polytechnic University of Marche, and University of Calabria.

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

• Operations Research
• Combinatorial Optimization
• Healthcare Logistics
• +۳ مورد دیگر

Paola Cappanera is an Associate Professor of Operations Research at the Department of Information Engineering (Università di Firenze), affiliated with the School of Engineering. She is a member of the IBIS Lab. Her expertise spans combinatorial optimization, healthcare logistics, telecommunication networks, and scheduling problems. She teaches courses such as Fondamenti di Ricerca Operativa , Combinatorial Optimization , and Ottimizzazione su Reti di Flusso at both undergraduate and graduate levels. Her research focuses on optimizing healthcare delivery systems, including home care services, surgical scheduling, and resource allocation. She also addresses challenges in telecommunication networks, such as latency-aware scheduling and routing. Recent work emphasizes robustness in home care planning, equitable resource distribution, and mitigating risks in hazardous material transportation. Her articles highlight advancements in decomposition methods for scheduling, genetic algorithms for network functions, and integration of healthcare service models. Key contributions include models for emergency department physician rostering and optimizing tele-assistance systems.

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

• Computer Science
• Electronic Engineering
• Integrated Circuit Testing
• +۶ مورد دیگر

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.

Carla Limongelliمشاهده پروفایل

دانشیار

• Artificial Intelligence in Education
• Learning Management Systems
• Concept Mapping
• +۶ مورد دیگر

Carla Limongelli is an Associate Professor at Roma Tre University's Department of Civil, Computer and Aeronautical Engineering within the School of Engineering. Her academic work bridges computer science with educational applications, focusing on intelligent systems for learning environments. Her research interests center on artificial intelligence applications in education, with particular expertise in concept mapping systems, learning management platforms, and technology-enhanced museum experiences. Dr. Limongelli has developed innovative approaches to adaptive learning, social robotics in educational contexts, and multimodal learning analytics that track both physiological responses and behavioral patterns. Her recent publication trends reveal a strong focus on leveraging large language models for educational purposes, with increasing attention to multimodal applications combining visual, textual, and physiological data streams. This work spans from automated question generation to social robot interactions in museum settings. Dr. Limongelli has contributed significantly to the development of systems that support teachers in course building, concept map creation, and personalized learning path configuration, with applications extending from traditional educational settings to cultural heritage environments.