Community Builder
Bergen, Norway
Passionate about creating engagement and growth through strategic communication, relationship building and volunteer recruitment.
Norwegian Armed Forces
AI Safety Bergen
AI Safety Bergen
My personal website and blog, built with SvelteKit.
University of Bergen
120 ECTS credits. Specialization in information architecture, user behaviour and digital communication.
University of Bergen
Consciousness, cognitive abilities and philosophy of AI. Specialization in computer science, philosophy and information science. 180 ECTS credits.
University of Bergen
Artificial agents, machine learning and development of AI solutions. Combines computer science and information science.
The biological foundations of the nervous system, emotions, and learning, combined with cognitive theories of perception, memory, and reasoning.
Natural deduction for propositional and first-order predicate logic with identity, model theory, and set theory. Includes metalogic and proofs of properties of formal proof systems.
Introduction to phonetics, phonology, morphology, syntax, and semantics. Provides a theoretical and practical foundation for language-related studies.
Philosophy of science, ethics, and fundamentals of logic and argumentation theory. Develops critical and analytical competence relevant to one's own field of study.
Essay →The functional paradigm with recursion, higher-order functions, and immutable data structures. Programming in a functional language such as Haskell.
Interdisciplinary overview of cognition from computer science, linguistics, psychology, and philosophy. Covers knowledge representation, reasoning, learning, language, perception, and consciousness.
Essay →Modern philosophy of mind and the relationship between mental and physical properties. Covers behaviorism, identity theory, functionalism, and the problem of consciousness.
Introduction to propositional logic and first-order predicate logic. Emphasis on translation from natural language to formal logical language, truth tables, and the tree method.
Practical introduction to programming using a modern language. Covers variables, expressions, control flow, arrays, and file handling.
Logic-based knowledge representation and various forms of reasoning including deductive, default, and abductive reasoning. Also covers reasoning about knowledge, action, and change in multi-agent systems.
Continuation of programming with focus on code quality. Covers abstractions, object-oriented design, inheritance, polymorphism, generics, and testing.
Cognitive science related to linguistic knowledge, language acquisition, and language use. Explores the psychological and cognitive aspects of language.
Statistical methods and analysis for cognitive science. Covers descriptive statistics, hypothesis testing, and data analysis for cognitive experiments.
Data structures, algorithms, object-orientation, thread programming, and efficiency analysis. Also covers standards for structured data such as JSON, RDF, and XML.
Theory and practice of relational and NoSQL databases. Covers data modeling, normalization, query languages, and indexing principles.
Discrete mathematics and formal methods with emphasis on logic, set theory, and proof techniques. Foundation for further studies in computer science and information science.
Fundamental algorithms and techniques used in artificial intelligence, including search algorithms, heuristic methods, and optimization.
Theoretical and practical foundations of AI including state-space search, knowledge representation, inference, and machine learning.
Supervised learning with deep learning, unsupervised learning including clustering, and reinforcement learning. Practical applications in data analysis.
Innovation and entrepreneurship theory with practical methodology. Development of business models through participatory design and concept development.
Essay →Also counts towards this degree:
Explainable AI (XAI), fairness, algorithmic accountability and trust, artificial morality, and responsible use of AI. Includes practice in popular dissemination of AI.
Introduction to artificial agents and multi-agent systems, including agent modeling, autonomous agent architecture, control systems, and basic robotics.
Elementary logic and set theory, relations, functions, graphs, and trees. Covers combinatorics, probability, information theory, and computability.
Replaces INFO102Advanced topics in AI including artificial life, multi-agent systems, machine learning, neural networks, genetic algorithms, and natural language processing.
Methods for analyzing text and network data, including language models, document clustering, supervised machine learning, and network models.
Theory and practice of computer-supported cooperative work (CSCW) and groupware systems. Covers collaboration technologies, social networks, and evaluation of cooperative solutions.
Formal logics for reasoning about multi-agent interaction, including epistemic logic, temporal logic, coalition logic, and alternating-time temporal logic.
Advanced project work in informatics carried out with a supervisor. Includes programming, documentation in the form of a technical report, and an oral presentation.
Norwegian Armed Forces
2017-10
Norwegian Public Roads Administration
2017-01