Bruker:Tobiasvl

(Forskjell mellom revisjoner)
Gå til: navigasjon, søk
m
(oppdatering og lenker)
Linje 1: Linje 1:
 
==Tobias V. Langhoff==
 
==Tobias V. Langhoff==
*Masterstudent i logikk
+
[https://www.uio.no/personer/adm/usit/sapp/gt/tvl/ Jobber på USIT] som postmaster. Kan spørres om e-postrelaterte ting (inkludert webmail). Henger på IRCnet (tobiasvl).
*Termvakt på [[VB]]
+
 
 +
Er også masterstudent i logikk.
  
 
===CV===
 
===CV===
====Kurs jeg tar v10====
+
*Jobber ved [http://usit.uio.no Universitetets senter for IT] (SAPP/GT) som [http://www.uio.no/tjenester/it/e-post-kalender/ postmaster]
*INF3170 - Logikk
+
*Var termvakt h08-v10 og deltidsansatt i [http://www.mn.uio.no/ifi/om/organisasjon/it/ IFI-drift] v09-v10
*INF3230 - Formell modellering og analyse av kommuniserende systemer
+
*Representant for UiO i [http://student.no/om-nso/organer-og-komiteer/landsstyre/ Landsstyret] til [http://student.no/ Norsk studentorganisasjon] (NSO)
*INF5170 - Masterseminar i logikk
+
*Representant på [http://studentparlamentet.uio.no Studentparlamentet i Oslo], for [http://www.facebook.com/Realistlista Realistlista]
*INF5810 - Modallogikk
+
*Leder i [http://www.uio.no/om/organisasjon/utvalg/laringsmiljoutvalget/ Læringsmiljøutvalget ved UiO] (LMU)
 +
*IT-ansvarlig i [http://www.mn.uio.no/om/organisasjon/utvalg/mnsu/ MN-fakultetets studentutvalg] (MNSU)
 +
*Jobber med web i [http://radionova.no Radio Nova]
 +
*Tidligere senator (og har tidligere vært leder, nestleder, og IT-ansvarlig) i [http://filologiskforening.no Filologisk Forening] (FF), som bl. a. driver studentpuben [http://uglebo.no Uglebo])
 +
*Tidligere studentrepresentant i [http://www.nffi.no/ Nasjonalt fagråd for informatikk] (NFFI)
 +
*Varamedlem av [http://www.mn.uio.no/ifi/om/organisasjon/programradet/ programrådet for informatikk] og tidligere fast medlem av programrådet til [http://www.uio.no/studier/program/it-slp/ IT - språk, logikk, psykologi] (IT-SLP)
 +
*Tidligere gruppelærer i INF1000, INF1010, INF1300, og INF1800, pluss øvingsveileder (termvakt/orakel) på terminalstua Hundremeterskogen
 +
*Tidligere vitenskapelig assistent på [http://wiki.delph-in.net/moin/WeScience WeScience], et prosjekt ved forskningsgruppa [http://www.mn.uio.no/ifi/forskning/grupper/lns/ Logikk og naturlige språk] (LNS)
 +
*Tidligere medlem av [http://fui.ifi.uio.no Fagutvalget ved Institutt for informatikk] (FUI)
  
 
====Kurs jeg har tatt====
 
====Kurs jeg har tatt====
 +
*INF5800 - Emner i logikk
 +
*MAT4640 - Aksiomatisk mengdelære
 +
*INF3800 - Søketeknologi
 +
*INF0105 - Informatikkens verden
 
*INF5830 - Prosessering av naturlige språk
 
*INF5830 - Prosessering av naturlige språk
 +
*INF5810 - Modallogikk
 +
*INF5170 - Masterseminar i logikk
 
*INF4820 - Algoritmer for kunstig intelligens og naturlige språk
 
*INF4820 - Algoritmer for kunstig intelligens og naturlige språk
 +
*INF3331 - Problemløsning med høynivå-språk
 +
*INF3170 - Logikk
 
*INF3110 - Programmeringsspråk
 
*INF3110 - Programmeringsspråk
 
*INF2820 - Datalingvistikk
 
*INF2820 - Datalingvistikk
Linje 27: Linje 44:
 
*MAT1001 - Matematikk 1
 
*MAT1001 - Matematikk 1
 
*MAT-INF3600 - Matematisk logikk
 
*MAT-INF3600 - Matematisk logikk
 +
*FIL2405 - Modal logikk
 
*LING2100 - Semantikk og pragmatikk 2
 
*LING2100 - Semantikk og pragmatikk 2
 
*LING1102 - Syntaks og semantikk 1
 
*LING1102 - Syntaks og semantikk 1
Linje 36: Linje 54:
 
*AST1010 - Astronomi - En kosmisk reise
 
*AST1010 - Astronomi - En kosmisk reise
 
*SVLED1900 - Studentledelse
 
*SVLED1900 - Studentledelse
*EXPHIL03
+
*EXPHIL03 - Examen philosophicum
 
+
====Misc====
+
*IT-ansvarlig i MNSU og varamedlem i programrådet til IT-SLP
+
*Medlem av FUI
+
*Studentrepresentant i Norsk fagråd for informasjonsvitenskap
+
*Er senator (og har vært leder, nestleder, og IT-ansvarlig) i Filologisk Forening (driver bl.a. Uglebo)
+
*Har vært gruppelærer i INF1000, INF1010, og INF1800 tidligere, pluss obligretter i INF1300 og øvingsveileder (termvakt/orakel) på terminalstua Hundremeterskogen (se 100m/parkmap)
+
*Var h09 vitenskapelig ansatt på et prosjekt på forskningsgruppa Logikk og naturlige språk
+
  
 
===Kontakt===
 
===Kontakt===
Linje 50: Linje 60:
  
 
===Eksterne lenker===
 
===Eksterne lenker===
*http://tobiasvl.at.ifi.uio.no
+
*[http://flickr.com/photos/tobiasvl Flickr]
 +
*[http://twitter.com/Spug Twitter]
 +
*[http://last.fm/user/Spug Last.FM]
 +
*http://folk.uio.no/tobiasvl

Revisjonen fra 21. sep 2011 kl. 17:59

Innhold

Tobias V. Langhoff

Jobber på USIT som postmaster. Kan spørres om e-postrelaterte ting (inkludert webmail). Henger på IRCnet (tobiasvl).

Er også masterstudent i logikk.

CV

Kurs jeg har tatt

  • INF5800 - Emner i logikk
  • MAT4640 - Aksiomatisk mengdelære
  • INF3800 - Søketeknologi
  • INF0105 - Informatikkens verden
  • INF5830 - Prosessering av naturlige språk
  • INF5810 - Modallogikk
  • INF5170 - Masterseminar i logikk
  • INF4820 - Algoritmer for kunstig intelligens og naturlige språk
  • INF3331 - Problemløsning med høynivå-språk
  • INF3170 - Logikk
  • INF3110 - Programmeringsspråk
  • INF2820 - Datalingvistikk
  • INF2810 - Funksjonell programmering
  • INF2270 - Datamaskinarkitektur
  • INF2220 - Algoritmer og datastrukturer
  • INF1800 - Logikk og beregnbarhet
  • INF1300 - Introduksjon til databaser
  • INF1060 - Operativsystemer og datakommunikasjon
  • INF1050 - Systemutvikling
  • INF1010 - Objektorientert programmering
  • INF1000 - Grunnkurs i objektorientert programmering
  • MAT1030 - Diskret matematikk
  • MAT1001 - Matematikk 1
  • MAT-INF3600 - Matematisk logikk
  • FIL2405 - Modal logikk
  • LING2100 - Semantikk og pragmatikk 2
  • LING1102 - Syntaks og semantikk 1
  • LING1101 - Fonetikk, fonologi og morfologi 1
  • ITSLP5000 - Introduksjon til masterstudier i IT-SLP
  • HUMIT1760MN - Introduksjon til kognisjonsvitenskaper
  • HUMIT1730 - Hypermedier
  • RETKOM1100 - Moderne retorikk og språklig kommunikasjon
  • AST1010 - Astronomi - En kosmisk reise
  • SVLED1900 - Studentledelse
  • EXPHIL03 - Examen philosophicum

Kontakt

Eksterne lenker

Personlige verktøy
Varianter
Handlinger
Navigasjon
Kategorier
Programvare
Andre
Translate
Verktøy