Christian Kårbø Engelsen
Fullstack-utvikler
Bergen, Norge
Utvikler med erfaring i fullstack-utvikling, Django, SvelteKit og AI. Brenner for å bygge brukervennlige løsninger med moderne teknologi.
Ferdigheter
Arbeidserfaring
Fullstack-utvikler (15%)
- Utviklet frontend og backend i Django for en B2B-nettplattform.
- Bidro til produktstrategi og brukeropplevelse for en ny tjeneste innen ubemannede fartøy og miljødata.
SvelteDjangoSupabaseCloudflareGit
Teknisk sjef (40%)
- Ledet teknisk drift og koordinerte frivillige.
- Sikret stabil plattform for sendinger, arrangementer og ekstern kommunikasjon.
IT-ledelseRekruttering
Radiooperatør (100%)
Forsvaret
- Taktisk kommunikasjon og samband i krevende omgivelser.
- Veiledet medarbeidere i kommunikasjonsprosedyrer.
Utvalgte prosjekter
Utdanning
Mastergrad — Informasjonsvitenskap
Universitetet i Bergen
120 studiepoeng. Fordypning i informasjonsarkitektur, brukeratferd og digital kommunikasjon.
Bachelorgrad — Kognitiv vitenskap
Universitetet i Bergen
Bevissthet, kognitive evner og filosofi rundt KI. Fordypning i informatikk, filosofi og informasjonsvitenskap. 180 studiepoeng.
Bachelorgrad — Kunstig intelligens
Universitetet i Bergen
Kunstige agenter, maskinlæring og utvikling av AI-løsninger. Kombinerer informatikk og informasjonsvitenskap.
Emner
Bachelorgrad i kognitiv vitenskap
Obligatorisk
Biologisk og Kognitiv Psykologi
PSYK120Det biologiske grunnlaget for nervesystemet, emosjonar og læring, kombinert med kognitive teoriar om persepsjon, hukommelse og resonnering.
Deduksjon og Metalogikk
LOG111Naturleg deduksjon for setnings- og predikatlogikk med identitet, modellteori og mengdeteori. Inkluderer metalogikk og bevis for eigenskapar ved formelle bevissystem.
Examen Facultatum, Grunnleggende Lingvistikk
EXFAC00SKInnføring i fonetikk, fonologi, morfologi, syntaks og semantikk. Gir eit teoretisk og praktisk grunnlag for studium innan språkrelaterte fag.
Examen Philosophicum
EXPHIL-MNSEMKunnskaps- og vitskapsteori, etikk og grunnprinsipp for logikk og argumentasjonsteori. Utviklar kritisk og analytisk kompetanse relevant for eige fagområde.
Essay →Funksjonell Programmering
INF122Det funksjonelle paradigmet med rekursjon, høgare ordens funksjonar og ikkje-muterbare datastrukturar. Programmering i eit funksjonelt språk som Haskell.
Haskell
Introduksjon til Kognitiv Vitenskap
KOGVIT101Tverrfagleg oversikt over kognisjon frå informatikk, lingvistikk, psykologi og filosofi. Dekker kunnskapsrepresentasjon, resonnering, læring, språk, persepsjon og medvit.
Essay →Introduksjon til Sinnsfilosofi
FIL105Moderne sinnsfilosofi og tilhøvet mellom mentale og kroppslege eigenskapar. Dekker behaviorisme, identitetsteori, funksjonalisme og medvitsproblematikken.
Introduksjon til formell logikk
LOG110Innføring i setningslogikk og førsteordens predikatlogikk. Vekt på omsetjing frå naturleg språk til formallogisk språk, sanningstabellar og tremetoden.
Introduksjon til programmering
INF100Praktisk innføring i programmering med eit moderne språk. Dekker variablar, uttrykk, kontrollflyt, tabellar og filhandtering.
Python
Kunnskapsrepresentasjon og Resonnering
INFO282Logikkbasert kunnskapsrepresentasjon og ulike former for resonnering, inkludert deduktiv, standard- og abduktiv resonnering. Dekker også resonnering om kunnskap, handling og endring i multi-agentsystem.
Prolog
Objekt-orientert Programmering
INF101Vidareføring av programmering med fokus på kodekvalitet. Dekker abstraksjonar, objektorientert design, arv, polymorfi, generiske typar og testing.
Java
Språk og Kognisjon
LING122Kognisjonsvitskap relatert til språkleg kunnskap, språktileigning og bruk av språk. Utforskar psykologiske og kognitive aspekt ved språk.
Statistikk for Kognitiv Vitenskap
DASPSTATStatistiske metodar og analyse retta mot kognitiv vitenskap. Dekker deskriptiv statistikk, hypotesetesting og dataanalyse for kognitive eksperiment.
R
Spesialisering
Avansert Programmering
INFO135Datastrukturer, algoritmer, objektorientering, tråd-programmering og effektivitetsanalyse. Dekker også standarder for strukturerte data som JSON, RDF og XML.
Python
Datahåndtering
INFO125Teori og praksis knytt til utforming og bruk av relasjons- og NoSQL-databasar. Dekker datamodellering, normalisering, spørjespråk og prinsipp for indeksering.
SQL
Formelle metoder i informasjonsvitenskap
INFO102Diskret matematikk og formelle metodar med vekt på logikk, mengdeteori og bevisføring. Grunnlag for vidare studium i informatikk og informasjonsvitenskap.
Grunnleggende Algoritmer for Kunstig Intelligens
INFO283Grunnleggjande algoritmar og teknikkar nytta i kunstig intelligens, inkludert søkealgoritmar, heuristiske metodar og optimalisering.
PythonMaskinlæring
Introduksjon til Kunstig Intelligens
INFO180Teoretisk og praktisk grunnlag for kunstig intelligens, inkludert søk i tilstandsrom, kunnskapsrepresentasjon, inferens og maskinlæring.
PythonSøkealgoritmer
Maskinlæring
INFO284Vegleia læring med djupnelæring, ikkje-vegleia læring inkludert klustring og forsterkingslæring. Praktiske anvendingar i dataanalyse.
PythonMaskinlæring
Erstatter INFO283 Fritt emne
Introduksjon til Innovasjon og Entreprenørskap
MCB201Innovasjons- og entreprenørskapsteori med praktisk metodearbeid. Utvikling av forretningsmodellar gjennom deltakarbasert design og konseptutvikling.
Essay →Bachelorgrad i kunstig intelligens
Teller også mot denne graden:
- Introduksjon til Kunstig Intelligens INFO180
- Introduksjon til programmering INF100
- Kunnskapsrepresentasjon og Resonnering INFO282
- Maskinlæring INFO284
Etikk i Kunstig Intelligens
AIKI210Forklarbar KI (XAI), rettferd, algoritmisk ansvarlighet og tillit, kunstig moral og ansvarleg bruk av KI. Inkluderer øving i populærvitskapleg formidling av KI.
KI-etikk
Essay → Kunstige Agenter
AIKI110Innføring i kunstige agentar og multi-agentsystem, inkludert agentmodellering, autonom agentarkitektur, kontrollsystem og grunnleggjande robotikk.
PythonROS2
Formelle Metoder for Informasjonsvitenskap
INFO104Elementær logikk og mengdelære, relasjonar, funksjonar, grafar og tre. Dekker kombinatorikk, sannsyn, informasjonsteori og bereknelegheit.
Erstatter INFO102Mastergrad i informasjonsvitenskap
Forskningsemne innen Kunstig Intelligens
INFO381Avanserte tema innan KI, inkludert kunstig liv, multi-agentsystem, maskinlæring, nevrale nettverk, genetiske algoritmer og naturleg språkprosessering.
PythonMaskinlæring
Forskningsemne innen Nettverk og Tekst-analyse
INFO371Metodar for analyse av tekst- og nettverksdata, inkludert språkmodellar, dokumentklustring, vegleia maskinlæring og nettverksmodellar.
PythonNLP
Forskningsmetoder i Menneske-Maskin Interaksjon
INFO362Teori og praksis innan IKT-støtta samarbeid (CSCW) og gruppevaresystem. Dekker samarbeidsteknologiar, sosiale nettverk og evaluering av samarbeidsløysingar.
Logikk for Multi-Agent Systemer
INFO382Formelle logikkar for resonnering om multi-agent-interaksjon, inkludert epistemisk logikk, temporallogikk, koalisjonslogikk og alternating-time temporal logic.
Tilleggsemner
Informatikkprosjekt II
INF319Avansert prosjektarbeid i informatikk gjennomført i samråd med ein rettleiar. Inkluderer programmering, dokumentasjon i form av teknisk rapport og munnleg presentasjon.
PythonNLP
Essay → Frivillig arbeid
Chief Technology Developer
AI Safety Bergen
- Teknologiansvarlig for AI Safety Bergen.
Git
IT-leder
- Ledet IT-avdelingen og hadde ansvar for teknisk infrastruktur.
IT-ledelseProsjektledelseRekrutteringCommunity-byggingAzureGit
IT-ansvarlig
Studentersamfunnet i Bergen
- Ansvarlig for IT-drift og teknisk infrastruktur for Studentersamfunnet.
IT-ledelse
Sertifiseringer
Truckførerkurs
Forsvaret
2017-10
Førerkort klasse B
Statens vegvesen
2017-01
Språk
Norsk (bokmål) Morsmål
Engelsk Flytende
Tysk Grunnleggende