معرفی
Ana Ozaki is an Associate Professor at the Department of Informatics, University of Bergen, Norway. Her research focuses on the intersection of Artificial Intelligence (AI), knowledge representation and reasoning, and learning theory. She explores formal methods to analyze learnability, complexity, and reducibility in logical frameworks like description logics. Ozaki leads projects on ontology learning from neural networks, knowledge graph embeddings, and theoretical guarantees for machine learning systems. She has organized international conferences like AIB 2022 and DL 2024, and serves on editorial boards for Journal of Machine Learning Research and Journal of Web Semantics. Ozaki supervises PhD and master’s students in topics ranging from query-based learning to traffic prediction with graph neural networks. Her work emphasizes bridging theoretical foundations with practical AI applications, including ethics in autonomous systems and formal verification of neural networks.
