Roger Antonsen

Bilde av Roger Antonsen
English version of this page
Telefon +47 22852482
Rom 9166
Brukernavn
Besøksadresse Gaustadalléen 23B 0373 Oslo
Postadresse Postboks 1080 Blindern 0316 Oslo

Førsteamanuensis ved Institutt for informatikk, Universitetet i Oslo, og gjesteforsker ved UC Berkeley, California.

Personlig hjemmeside: rantonse.no

Bøker

Studiebok til Logiske metoder (2017)

Studieboken til Logiske metoder er et nyttig supplement og en praktisk støttebok for deg som bruker boken Logiske metoder. Boken inneholder tips og triks, utdyping og forklaring på problemområder som erfaringsmessig er spesielt vanskelige, tilleggsoppgaver med løsningsforslag, og løsningsforslag til over halparten av oppgavene i Logiske metoder. Les mer på https://www.universitetsforlaget.no/nettbutikk/logiske-metoder.html.

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å https://www.universitetsforlaget.no/nettbutikk/studiebok-til-logiske-metoder-uf.html.

Prosjekter

Nettkurs i Logiske metoder (2017–)

Dette er Institutt for informatikks første nettkurs, basert på INF1080/IN1150 – Logiske metoder. Se https://logiskemetoder.no/nettkurs/.

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å https://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

  • Gjesteforsker ved UC Berkeley, California, 2017–.
  • Førsteamanuensis ved Institutt for informatikk, 2014–
  • 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 hovedsaklig logiske kalkyler, bevisteori, matematisk logikk, kompleksitetsteori, cellulære automater, kombinatorikk og matematikkfilosofi, men jeg er også interessert i algoritmisk kunst, grafikk og visualiseringer. Min doktorgradsavhandling handler om sekventkalkyler for førsteordens logikk med frie variabler.

Emneord: Logikk, Bevisteori, Automatisk resonnering, Bevissøk, Modallogikk, Førsteordens logikk, Kompleksitetsteori, Automater, Cellulære automater, Generativ kunst, Algoritmer, Algoritmisk kunst, Matematisk kunst, Netlogo, Processing, Filosofi, Matematikkfilosofi, Formidling, Vitenskapsformidling

Publikasjoner

  • Antonsen, Roger & Taalman, Laura (2021). Categorizing Celtic Knot Designs. Proceedings of Bridges 2018: Mathematics, Art, Music, Architecture, Education, Culture. ISSN 1099-6702. s. 87–94.
  • Paulson, Steve; Grosz, Barbara J. & Antonsen, Roger (2019). Human cognition and the AI revolution. Annals of the New York Academy of Sciences. ISSN 0077-8923. 1458(1), s. 26–43. doi: 10.1111/nyas.14122.
  • Antonsen, Roger (2018). Card Shuffling Visualizations. Proceedings of Bridges 2018: Mathematics, Art, Music, Architecture, Education, Culture. ISSN 1099-6702. s. 451–454.
  • Hansen, Christian Mahesh; Antonsen, Roger; Giese, Martin & Waaler, Arild (2012). Incremental variable splitting. Journal of symbolic computation. ISSN 0747-7171. 47(9), s. 1046–1065. doi: 10.1016/j.jsc.2011.12.032.
  • Antonsen, Roger & Waaler, Arild (2007). Liberalized Variable Splitting. Journal of automated reasoning. ISSN 0168-7433. 38, s. 3–30. doi: 10.1007/s10817-006-9055-9.
  • Antonsen, Roger & Waaler, Arild (2007). A Labelled System for IPL with Variable Splitting. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. LNAI(4603), s. 132–146. doi: 10.1007/978-3-540-73595-3_10.
  • Antonsen, Roger & Waaler, Arild (2005). Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3702, s. 33–47.
  • Antonsen, Roger & Waaler, Arild (2005). Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. LNAI(3702), s. 33–47.
  • Waaler, Arild & Antonsen, Roger (2003). A Free Variable Sequent Calculus with Uniform Variable Splitting. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 2796, s. 214–229.

Se alle arbeider i Cristin

  • Antonsen, Roger (2021). Logical Methods. Springer Nature. ISBN 978-3-030-63776-7. 302 s.
  • Antonsen, Roger (2017). Studiebok til Logiske metoder. Universitetsforlaget. ISBN 9788215028743. 232 s.
  • Antonsen, Roger (2014). Logiske metoder. Universitetsforlaget. ISBN 9788215022741. 288 s.

Se alle arbeider i Cristin

  • Antonsen, Roger (2021). Keltiska knutar. Nämnaren : tidskrift för matematikundervisning. ISSN 0348-2723. 47(4), s. 9–11.
  • Antonsen, Roger (2021). Fra matematiske visualisering til algoritmisk kunst.
  • Antonsen, Roger (2021). Combining mathematics, art, and presentation techniques.
  • Antonsen, Roger (2021). Visualizing Mathematical Structures with Processing.
  • Antonsen, Roger (2021). Mirror Hilbert Labyrinth.
  • Antonsen, Roger (2020). Å utforske naturfaglige fenomen med programmering.
  • Antonsen, Roger (2020). Programmering og kreativitet.
  • Antonsen, Roger (2020). What is mathematics, and why is the imagination an important part of mathematical thinking?
  • Antonsen, Roger (2020). 3D Printed Card Shuffling and Permutations / Perspectives on the Hilbert Curve. I Davis, Diana (Red.), Illustrating Mathematics. American Mathematical Society (AMS). ISSN 978-1-4704-6122-5.
  • Antonsen, Roger (2019). Network Visualization.
  • Antonsen, Roger & Niemeyer, Greg (2019). The Network Paradox og Quantopia.
  • Antonsen, Roger (2019). BBC CrowdScience. [Radio]. BBC.
  • Antonsen, Roger (2019). Vetandets Värld på Internationella Vetenskapsfestivalen Göteborg. [Radio]. Sveriges Radio P1.
  • Antonsen, Roger (2019). Matematikkshow.
  • Antonsen, Roger (2019). Kreativ og kunstnerisk med kode.
  • Antonsen, Roger (2019). The Strangeness of Infinity: From Cantor to Conway.
  • Antonsen, Roger & Niemeyer, Greg (2019). The Network Paradox.
  • Antonsen, Roger (2019). 20 Math Art Experiments in 20 Minutes.
  • Antonsen, Roger (2019). Matematisk kunst. [Tidsskrift]. Apollon.
  • Jemterud, Torkild; Kjeldstad, Torunn; Antonsen, Roger & Bøckman, Petter (2019). Abels tårn. [Radio]. Ekko, NRK P2.
  • Antonsen, Roger & Niemeyer, Greg (2019). The Network Paradox.
  • Antonsen, Roger (2018). From Simplicity to Complexity: What Happens Next?
  • Antonsen, Roger (2018). Modeller og eksperimentering.
  • Antonsen, Roger (2018). Models We Live By.
  • Antonsen, Roger (2018). Eight Ways to Shuffle Sixty-Four Cards.
  • Antonsen, Roger; Grosz, Barbara J. & Paulson, Steve (2018). Human Cognition and the AI Revolution.
  • Antonsen, Roger & Nakkerud, Andreas (2018). Book Reviews. Studia Logica: An International Journal for Symbolic Logic. ISSN 0039-3215. doi: 10.1007/s11225-018-9783-y.
  • Antonsen, Roger (2017). Kræsjkurs i algoritmer.
  • Antonsen, Roger (2017). Matematiske opplevelser og hvordan vi bruker språk til å formidle matematikk.
  • Antonsen, Roger (2017). Making Juggling Patterns.
  • Antonsen, Roger (2017). Metaphors, Perspectives, and Thinking Differently.
  • Antonsen, Roger (2017). Mathematical Explorations and Visualizations with Processing.
  • Antonsen, Roger (2017). Metaphors, Mathematics, and Understanding.
  • Antonsen, Roger (2017). Mathematical Explorations and Visualizations with Code.
  • Antonsen, Roger (2017). Creative Coding with Processing.
  • Antonsen, Roger (2017). Math, Art, Play.
  • Antonsen, Roger (2017). Kunsten å tenke abstrakt og matematisk.
  • 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). Org-mode, calendar og calc.
  • Antonsen, Roger (2012). Show under åpningen av EnergiTivoli.
  • Antonsen, Roger (2012). Hva er Sonen - Åpen sone for eksperimentell informatikk?
  • Antonsen, Roger & Bjerknes, Jan Dyre (2012). Med sjongleringsballer som ice breaker.
  • Antonsen, Roger & Bjerknes, Jan Dyre (2012). Inspiring Juggling Balls.
  • Antonsen, Roger (2012). Formidling med smarte sjongleringsballer.
  • Antonsen, Roger (2012). Vitenskap, programmering og matematikk med smarte sjongleringsballer.
  • Antonsen, Roger & Bjerknes, Jan Dyre (2012). Intelligent juggling balls with visual amplification.
  • Antonsen, Roger & Bjerknes, Jan Dyre (2012). Smart Juggling Balls with Visual Amplification.
  • Antonsen, Roger (2012). Programming, mathematics and juggling.
  • Antonsen, Roger (2012). Vitenskap, programmering og matematikk med smarte sjongleringsballer.
  • Antonsen, Roger (2012). Alternativ formidling av matematikk og informatikk.
  • Antonsen, Roger & Sevik, Kristine (2012). Motivasjon, mestring og matematikk.
  • Antonsen, Roger (2012). Informatikkshow med smarte sjongleringsballer.
  • Antonsen, Roger (2011). Demonstrasjon av smarte sjongleringsballer for Oslo Åpne Hus.
  • 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). Doktor med selvlysende baller. [TV]. NRK Buskerud.
  • Antonsen, Roger & Dæhlen, Morten (2011). Matematikk- og informatikkshow.
  • Mysen, Christine & Antonsen, Roger (2011). Lokker med lysende idé. [Avis]. Smaalenenes Avis.
  • Antonsen, Roger (2011). Digitalt sirkus.
  • Antonsen, Roger & Bjerknes, Jan Dyre (2011). Smarte sjongleringsballer med visuell forsterkning.
  • Grydeland, Ivar & Antonsen, Roger (2011). Smarte baller. [Radio]. NRK P2, Ekko.
  • Vogt, Yngve & Antonsen, Roger (2011). Forfører ungdom med smarte sjongleringsballer. [Avis]. Apollon.
  • Antonsen, Roger (2011). Avslutningsshow med smarte sjongleringsballer for forskning.no-konferanse.
  • Antonsen, Roger (2011). Matematikk, programmering og sjonglering.
  • Antonsen, Roger (2011). Matematikk, programmering og sjonglering.
  • Antonsen, Roger & Dæhlen, Morten (2011). Fra ingenting til overalt: informatikkens historie.
  • Antonsen, Roger & Dæhlen, Morten (2011). Informatikkens historie (med smarte sjongleringsballer), del II.
  • Antonsen, Roger & Dæhlen, Morten (2011). Informatikkens historie (med smarte sjongleringsballer), del I.
  • Antonsen, Roger & Dæhlen, Morten (2011). Fra ingenting til overalt: informatikkens historie.
  • Myklebust, Mona; Dæhlen, Morten; Antonsen, Roger & Glette, Kyrre Harald (2011). NRK Ekko: Digitaliseringen av samfunnet. [Radio]. NRK.
  • Antonsen, Roger & Dæhlen, Morten (2011). Fra ingenting til overalt - en reise i informatikkens historie.
  • 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).
  • Waaler, Arild & Antonsen, Roger (2003). A Free Variable Sequent Calculus with Uniform Variable Splitting.
  • Antonsen, Roger (2008). The Method of Variable Splitting. Unipub forlag. ISSN 1501-7710.
  • 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. LSIS, Paul Cézanne University.
  • Antonsen, Roger (2003). Free variable sequent calculi. Språk, logikk og informasjon (SLI).

Se alle arbeider i Cristin

Publisert 4. nov. 2010 13:45 - Sist endret 14. sep. 2018 12:39