Christian Kårbø Engelsen
Full-Stack Developer
Bergen, Norway
Developer with experience in full-stack development, Django, SvelteKit and AI. Passionate about building user-friendly solutions with modern technology.
Skills
Work Experience
Full-Stack Developer (15%)
- Developed frontend and backend in Django for a B2B web platform.
- Contributed to product strategy and user experience for a new service in unmanned vessels and environmental data.
SvelteDjangoSupabaseCloudflareGit
Technical Director (40%)
- Led technical operations and coordinated volunteers.
- Ensured a stable platform for broadcasts, events and external communication.
IT ManagementRecruitment
Radio Operator (100%)
Norwegian Armed Forces
- Tactical communication and signals in demanding environments.
- Mentored colleagues in communication procedures.
Featured Projects
Personal Website
My personal website and blog, built with SvelteKit.
SvelteKitTypeScriptCSS
Hugo
Education
Master's Degree — Information Science
University of Bergen
120 ECTS credits. Specialization in information architecture, user behaviour and digital communication.
Bachelor's Degree — Cognitive Science
University of Bergen
Consciousness, cognitive abilities and philosophy of AI. Specialization in computer science, philosophy and information science. 180 ECTS credits.
Bachelor's Degree — Artificial Intelligence
University of Bergen
Artificial agents, machine learning and development of AI solutions. Combines computer science and information science.
Coursework
Bachelor's in Cognitive Science
Mandatory
Biological and Cognitive Psychology
PSYK120The biological foundations of the nervous system, emotions, and learning, combined with cognitive theories of perception, memory, and reasoning.
Deduction and Metalogic
LOG111Natural 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.
Examen Facultatum, Basic Linguistics
EXFAC00SKIntroduction to phonetics, phonology, morphology, syntax, and semantics. Provides a theoretical and practical foundation for language-related studies.
Examen Philosophicum
EXPHIL-MNSEMPhilosophy of science, ethics, and fundamentals of logic and argumentation theory. Develops critical and analytical competence relevant to one's own field of study.
Essay →Functional Programming
INF122The functional paradigm with recursion, higher-order functions, and immutable data structures. Programming in a functional language such as Haskell.
Haskell
Introduction to Cognitive Science
KOGVIT101Interdisciplinary overview of cognition from computer science, linguistics, psychology, and philosophy. Covers knowledge representation, reasoning, learning, language, perception, and consciousness.
Essay →Introduction to Philosophy of Mind
FIL105Modern philosophy of mind and the relationship between mental and physical properties. Covers behaviorism, identity theory, functionalism, and the problem of consciousness.
Introduction to Formal Logic
LOG110Introduction to propositional logic and first-order predicate logic. Emphasis on translation from natural language to formal logical language, truth tables, and the tree method.
Introduction to Programming
INF100Practical introduction to programming using a modern language. Covers variables, expressions, control flow, arrays, and file handling.
Python
Knowledge Representation and Reasoning
INFO282Logic-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.
Prolog
Object-Oriented Programming
INF101Continuation of programming with focus on code quality. Covers abstractions, object-oriented design, inheritance, polymorphism, generics, and testing.
Java
Language and Cognition
LING122Cognitive science related to linguistic knowledge, language acquisition, and language use. Explores the psychological and cognitive aspects of language.
Statistics for Cognitive Science
DASPSTATStatistical methods and analysis for cognitive science. Covers descriptive statistics, hypothesis testing, and data analysis for cognitive experiments.
R
Specialization
Advanced Programming
INFO135Data structures, algorithms, object-orientation, thread programming, and efficiency analysis. Also covers standards for structured data such as JSON, RDF, and XML.
Python
Data Management
INFO125Theory and practice of relational and NoSQL databases. Covers data modeling, normalization, query languages, and indexing principles.
SQL
Formal Methods in Information Science
INFO102Discrete 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 for Artificial Intelligence
INFO283Fundamental algorithms and techniques used in artificial intelligence, including search algorithms, heuristic methods, and optimization.
PythonMachine Learning
Introduction to Artificial Intelligence
INFO180Theoretical and practical foundations of AI including state-space search, knowledge representation, inference, and machine learning.
PythonSearch Algorithms
Machine Learning
INFO284Supervised learning with deep learning, unsupervised learning including clustering, and reinforcement learning. Practical applications in data analysis.
PythonMachine Learning
Replaces INFO283 Elective
Introduction to Innovation and Entrepreneurship
MCB201Innovation and entrepreneurship theory with practical methodology. Development of business models through participatory design and concept development.
Essay →Bachelor's in Artificial Intelligence
Also counts towards this degree:
- Introduction to Artificial Intelligence INFO180
- Introduction to Programming INF100
- Knowledge Representation and Reasoning INFO282
- Machine Learning INFO284
Ethics in Artificial Intelligence
AIKI210Explainable AI (XAI), fairness, algorithmic accountability and trust, artificial morality, and responsible use of AI. Includes practice in popular dissemination of AI.
AI Ethics
Essay → Artificial Agents
AIKI110Introduction to artificial agents and multi-agent systems, including agent modeling, autonomous agent architecture, control systems, and basic robotics.
PythonROS2
Formal Methods for Information Science
INFO104Elementary logic and set theory, relations, functions, graphs, and trees. Covers combinatorics, probability, information theory, and computability.
Replaces INFO102Master's in Information Science
Research Topic in Artificial Intelligence
INFO381Advanced topics in AI including artificial life, multi-agent systems, machine learning, neural networks, genetic algorithms, and natural language processing.
PythonMachine Learning
Research Topic in Networks and Text Analysis
INFO371Methods for analyzing text and network data, including language models, document clustering, supervised machine learning, and network models.
PythonNLP
Research Methods in Human-Computer Interaction
INFO362Theory and practice of computer-supported cooperative work (CSCW) and groupware systems. Covers collaboration technologies, social networks, and evaluation of cooperative solutions.
Logic for Multi-Agent Systems
INFO382Formal logics for reasoning about multi-agent interaction, including epistemic logic, temporal logic, coalition logic, and alternating-time temporal logic.
Additional courses
Informatics Project II
INF319Advanced project work in informatics carried out with a supervisor. Includes programming, documentation in the form of a technical report, and an oral presentation.
PythonNLP
Essay → Volunteer Experience
Chief Technology Developer
AI Safety Bergen
- Technology lead for AI Safety Bergen.
Git
IT Member
- Contributed to IT operations and technical support for Hulen.
Git
IT Manager
- Led the IT department and was responsible for technical infrastructure.
IT ManagementProject ManagementRecruitmentCommunity BuildingAzureGit
IT Manager
Studentersamfunnet i Bergen
- Responsible for IT operations and technical infrastructure for Studentersamfunnet.
IT Management
Certificates
Forklift Operator Certificate
Norwegian Armed Forces
2017-10
Driver's License, Class B
Norwegian Public Roads Administration
2017-01
Languages
Norwegian (Bokmål) Native
English Fluent
German Basic