Department of Informatics, Faculty of Mathematics and Natural Sciences
Ana Ozaki is an associate professor at the Department of Informatics. She has a background in computer science and works in the broad field of artificial intelligence. Her research combines logic-based formalisms for knowledge representation and machine learning. More specifically, Ana Ozaki has been working on strategies for learning logical theories and methods for automated reasoning. She is a member of the machine learning group at the Department of Informatics. She is interested in the formalisation of the learning phenomenon so that questions involving learnability, complexity, and reducibility can be systematically investigated and understood.