معرفی
Tobias John is a Doctoral Research Fellow in the Department of Informatics at the University of Oslo, affiliated with the Faculty of Mathematics and Natural Sciences. He is a member of the Reliable Systems and Data and Knowledge Management (DKM) research groups, and his work is supported by the EU REMARO project. His research focuses on enhancing the robustness of controllers that interact with evolving knowledge bases, particularly OWL ontologies, using formal logic and automated planning techniques.
- University: University of Oslo
- School: Faculty of Mathematics and Natural Sciences
- Department: Department of Informatics
- Research Groups: Reliable Systems, Data and Knowledge Management (DKM)
- Project: REMARO (EU-funded)
His research interests center on knowledge representation, automated planning, formal methods, and logic in computer science. He investigates how ontologies can be integrated into planning systems to improve reasoning under uncertainty and ensure reliable behavior in dynamic environments. His work bridges theoretical computer science with practical applications in robotics and software reliability.
The recent publications of Tobias John reflect a strong trend in combining ontology-based reasoning with robust planning and testing methodologies. His work spans from theoretical automata transformations to applied risk-aware planning for marine robots and mutation-based testing of knowledge graph applications. The dominant themes include ontology-mediated planning, logic-based validation, and reliability engineering in AI systems.
He has not received any explicitly mentioned scientific awards.
Tobias John is actively engaged in research but there is no indication of advising students or managing grants independently. His contributions are primarily through collaborative research within the REMARO project and his publications with senior researchers such as Einar Broch Johnsen, Eduard Kamburjan, and Patrick Koopmann.
He is part of the Reliable Systems and Data and Knowledge Management (DKM) research groups at the University of Oslo, which focus on dependable computing, knowledge engineering, and formal verification of complex systems.
