Roger Antonsen

Bilde av Roger Antonsen
English version of this page
Telefon +47-22852482
Mobiltelefon 97588742 97588742
Rom 8164
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO
Andre tilknytninger Institutt for informatikk

Forsker, forfatter, foreleser, formidler, logiker, matematiker, informatiker, oppfinner, sjonglør og førsteamanuensis ved Institutt for informatikk, Universitetet i Oslo.

Personlig hjemmeside: rantonse.no

Bøker

Logiske metoder: Kunsten å tenke abstrakt og matematisk (2014)

Dette er min første bok, og den kom ut i juli 2014. Formålet med boken er å legge et solid grunnlag for et realfaglig studium, og å introdusere og forklare de viktigste og mest essensielle begrepene innenfor matematikk og realfag. Denne boken er basert på forelesningnotatene fra kurset INF1080 de siste fire årene og er beregnet på studenter i første semester. Les mer på http://www.universitetsforlaget.no/nettbutikk/logiske-metoder.html.

Prosjekter

UiO: Opplevelser (2013–)

I 2013 tok jeg initativet til UiO: Opplevelser, et formidlingsprosjekt med støtte fra Norges forskningsråd. Prosjektet handler å skape større interesse for realfag. Hovedvirkemidlet er å sette opp midlertidige boder, soner, laboratorier og eksperimenter på steder hvor det er mange mennesker, for å få positiv oppmerksomhet. Idéen er å lage et vitenskapsbasert underholdningstilbud som både kan utfordrer folks oppfatninger om hva realfag er og gjøre det på en interaktiv og overraskende måte. Prosjektet har som mål å skape opplevelser som gir opphav til undring og innsikt, invitere til interaktivitet og dialog, realisere formidlingen på fysiske og konkrete måter, gjøre noe som er nytt, annerledes og overraskende, samt få mye oppmerksomhet i media, spesielt på nett. I løpet av sommeren 2013 besøkte vi fornøyelsesparken Tusenfryd og utførte vitenskapelige eksperimenter knyttet til attraksjonene i fornøyelsesparken. I løpet av sommeren 2015 og våren 2016 fortsatte vi med å lage et Megakopter med 48 propeller og sette Guinness verdensrekord. Les mer på http://opplevelser.uio.no/.

Lær kidsa koding (2013–)

Lær kidsa koding er et verdinettverk for alle i Norge som ønsker å lære barn mer om programmering og informatikk. Det arbeides også for at programmering og informatikk skal bli en mer integrert del av den norske skolen. Les mer på http://kidsakoder.no/.

Åpen sone for eksperimentell informatikk (2011–)

I 2011, da Ole-Johan Dahls hus åpnet, var jeg med på å opprette Åpen sone for eksperimentell informatikk (Sonen), et makerspace og studentlaboratorium ved Institutt for informatikk ved Universitetet i Oslo. Tanken var å lage et prosjektbasert møtested for engasjerte og nysgjerrige studenter, en annerledes læringsomgivelse og et kreativt lekerom. Målet er å: (1) Samle opp og vise frem gode studentprosjekter. (2) Øke engasjementet, nysgjerrigheten og entusiasmen ved hele instituttet, både for studenter og ansatte. (3) Formidle informatikkfaget til et bredere publikum. (4) Skape en møteplass for kreative og engasjerte studenter. Les mer på http://sonen.ifi.uio.no.

Undervisning

Fagansvarlig:

Gjesteforeleser:

Bakgrunn

  • Førstelektor ved Institutt for informatikk, 2010–2014.
  • Postdoktor ved Institutt for informatikk, 2008–2010.
  • Philosophiae Doctor (PhD) fra Institutt for informatikk med avhandlingen The Method of Variable Splitting, 2008.
  • Candidatus Philologiae (Cand. Philol.) i Språk, logikk og informasjon med hovedoppgaven Free-variable Sequent Calculi, 2003.

Faglige interesser

Mine akademiske interesser er logiske kalkyler, bevisteori, matematisk logikk, kompleksitetsteori, automater, kombinatorikk, matematikkfilosofi, men jeg er interessert i de fleste områder relatert til matematikk, informatikk og filosofi.

Emneord: Logikk, Matematisk logikk, Logiske kalkyler, Bevisteori, Automatisk resonnering, Bevissøk, Modallogikk, Førsteordens logikk, Kompleksitetsteori, Automater, Kombinatorikk, Filosofi, Matematikkfilosofi, Arduino, Netlogo, Processing, Formidling, Vitenskapsformidling

Publikasjoner

Se alle arbeider i Cristin

  • Lilleborge, Marie & Antonsen, Roger (2014). Mye du ikke vet om Rubiks kube - et foredrag om Rubiks kube og matematikk.
  • Antonsen, Roger (2013). Matematikk, sjonglering og programmering.
  • Antonsen, Roger (2012). Alternativ formidling av matematikk og informatikk.
  • Antonsen, Roger (2012). Formidling med smarte sjongleringsballer.
  • Antonsen, Roger (2012). Hva er Sonen - Åpen sone for eksperimentell informatikk?.
  • Antonsen, Roger (2012). Informatikkshow med smarte sjongleringsballer .
  • Antonsen, Roger (2012). Org-mode, calendar og calc.
  • Antonsen, Roger (2012). Programming, mathematics and juggling.
  • Antonsen, Roger (2012). Show under åpningen av EnergiTivoli.
  • Antonsen, Roger (2012). Vitenskap, programmering og matematikk med smarte sjongleringsballer.
  • Antonsen, Roger (2012). Vitenskap, programmering og matematikk med smarte sjongleringsballer.
  • Antonsen, Roger & Bjerknes, Jan Dyre (2012). Inspiring Juggling Balls .
  • Antonsen, Roger & Bjerknes, Jan Dyre (2012). Intelligent juggling balls with visual amplification.
  • Antonsen, Roger & Bjerknes, Jan Dyre (2012). Med sjongleringsballer som ice breaker.
  • Antonsen, Roger & Bjerknes, Jan Dyre (2012). Smart Juggling Balls with Visual Amplification .
  • Antonsen, Roger & Sevik, Kristine (2012). Motivasjon, mestring og matematikk.
  • Antonsen, Roger (2011). Avslutningsshow med smarte sjongleringsballer for forskning.no-konferanse.
  • Antonsen, Roger (2011). Demonstrasjon av smarte sjongleringsballer for Oslo Åpne Hus.
  • Antonsen, Roger (2011). Digitalt sirkus.
  • Antonsen, Roger (2011). Matematikk, programmering og sjonglering.
  • Antonsen, Roger (2011). Matematikk, programmering og sjonglering.
  • Antonsen, Roger & Bjerknes, Jan Dyre (2011). Smarte sjongleringsballer med visuell forsterkning.
  • Antonsen, Roger & Dæhlen, Morten (2011). Fra ingenting til overalt - en reise i informatikkens historie.
  • Antonsen, Roger & Dæhlen, Morten (2011). Fra ingenting til overalt: informatikkens historie.
  • Antonsen, Roger & Dæhlen, Morten (2011). Fra ingenting til overalt: informatikkens historie.
  • Antonsen, Roger & Dæhlen, Morten (2011). Informatikkens historie (med smarte sjongleringsballer), del I.
  • Antonsen, Roger & Dæhlen, Morten (2011). Informatikkens historie (med smarte sjongleringsballer), del II.
  • Antonsen, Roger & Dæhlen, Morten (2011). Matematikk- og informatikkshow.
  • Bjerknes, Jan Dyre; Antonsen, Roger & Mikkelsen, Trond (2011). Presentasjon av Smarte sjongleringsballer under Bursdagsfesten til Universitetet i Oslo.
  • Bjerknes, Jan Dyre; Holtan, Kim & Antonsen, Roger (2011, 13. oktober). Doktor med selvlysende baller . [TV].  NRK Buskerud.
  • Grydeland, Ivar & Antonsen, Roger (2011, 15. september). Smarte baller. [Radio].  NRK P2, Ekko.
  • Myklebust, Mona; Dæhlen, Morten; Antonsen, Roger & Glette, Kyrre Harald (2011, 16. september). NRK Ekko: Digitaliseringen av samfunnet. [Radio].  NRK.
  • Mysen, Christine & Antonsen, Roger (2011, 29. oktober). Lokker med lysende idé .  Smaalenenes Avis.
  • Vogt, Yngve & Antonsen, Roger (2011, 11. oktober). Forfører ungdom med smarte sjongleringsballer .  Apollon.
  • Antonsen, Roger (2008). The Method of Variable Splitting.
  • Hansen, Christian Mahesh; Antonsen, Roger & Waaler, Arild (2007). Incremental Closure of Variable Splitting Tableaux in TABLEAUX'07 - Automated Reasoning with Analytic Tableaux and Related Methods: Position Papers. Editors: Nicola Olivetti, Camilla Schwind. LSIS.RR.2007.002.
  • Antonsen, Roger & Waaler, Arild (2005). Consistency of Variable Splitting in Free Variable Systems of First-Order Logic.
  • Antonsen, Roger (2004). Uniform Variable Splitting .
  • Antonsen, Roger (2004). Uniform Variable Splitting (Poster).
  • Antonsen, Roger (2003). Free variable sequent calculi.
  • Waaler, Arild & Antonsen, Roger (2003). A Free Variable Sequent Calculus with Uniform Variable Splitting.

Se alle arbeider i Cristin

Publisert 4. nov. 2010 13:45 - Sist endret 14. mar. 2016 08:57