Roger Antonsen

Associate Professor - Programming
Image of Roger Antonsen
Norwegian version of this page
Phone +47 22852482
Room 9166
Username
Visiting address Gaustadalléen 23B 0373 Oslo
Postal address Postboks 1080 0316 Oslo

Associate Professor at the Department of Informatics, University of Oslo, and Visiting Scholar at UC Berkeley, California.

Personal home page: rantonse.no

Books

Study book for Logical Methods (2017, in Norwegian)

The Study book for Logical Methods is a useful supplement and a practical support book for those who use the book Logical Methods. The book contains tips and tricks, elaboration and explanation of problem areas that normally is considered difficult, additional exercises with solutions, and solutions to over half of the exercises in Logical Methods. Read more on https://www.universitetsforlaget.no/nettbutikk/logiske-metoder.html.

Logical Methods: The Art of Thinking Abstractly and Mathematically (2014, in Norwegian; English translation forthcoming)

This is my first book, and it came out in July 2014. The purpose of the book is to give a solid foundation for study in the sciences, and to introduce and expain the most important and essential concepts within mathematics and science. The book is based on lecture notes from the last four years of teaching INF1080 and is intended for first semester students. Read more at https://www.universitetsforlaget.no/nettbutikk/logiske-metoder.html.

Projects

Online course in Logical Methods (2017–)

This is Department of Informatics's first online course, based on INF1080/IN1150 – Logical Methods. See https://logiskemetoder.no/nettkurs/ (in Norwegian).

UiO: Opplevelser (2013–)

In 2013, I took the initiative to establish UiO: Experiences, a science communication project funded by the The Research Council of Norway. The project is about creating greater interest in science. The primary means is to set up temporary booths, zones, laboratories, and experiments in places where there are many people in order to get positive attention. The idea is to create science-based entertainment that can both challenge people's perceptions about what science is and do it in an interactive and surprising way. The project aims to create experiences that give rise to wonder and insight, invite interactivity and dialogue, explore science in physical and concrete ways, and do something novel, different and surprising. During the summer of 2013 we visited the amusement park Tusenfryd and performed scientific experiments relating to the attractions of the park. During the summer of 2015 and spring of 2016, we continued to make a Megakopter with 48 propellers and set a Guinness World Record. Read more at http://opplevelser.uio.no/.

Lær kidsa koding (2013–)

Lær kidsa koding (Teach Kids Code) is a network for everyone in Norway who want to teach children more about programming and computer science. Efforts are also made for making programming and computer science a more integral part of the Norwegian school. Read more on https://kidsakoder.no/.

Open zone for experimental informatics (2011-)

In 2011, when Ole-Johan Dahl's House opened, I helped establish Open Zone for Experimental Informatics (the Zone), a makerspace and a student laboratory at the Department of Informatics at the University of Oslo. The idea was to create a project-based meeting place for engaged and curious students, a different learning environment, and a creative playroom. The goal is to: (1) Collect and showcase good student projects. (2) Increase the commitment, curiosity, and enthusiasm at the entire department, for both students and staff. (3) Communicate the field of computer science to a wider audience. (4) Create a meeting place for creative and engaged students. Read more on http://sonen.ifi.uio.no.

Teaching

Responsible:

Guest lecturer:

Background

  • Visiting Scholar at UC Berkeley, California, 2017–.
  • Associate Professor at the Department of Informatics, 2014–.
  • Senior Lecturer at the Department of Informatics, 2010–2014.
  • Postdoctor at the Department of Informatics, 2008-2010.
  • Philosophiae Doctor (PhD) from the Department of Informatics with the thesis The Method of Variable Splitting, 2008.
  • Cand. philol. in Language, Logic and Information with the thesis Free-variable Sequent Calculi, 2003.

Academic Interests

My academic interests are logical calculi, proof theory, mathematical logic, complexity theory, cellular automata, combinatorics, and the philosophy of mathematics, but I am also interested in algorithmic art, graphics, and visualizations. My PhD thesis is about sequent calculi for first-order logics with free variables.

Tags: Logic, Proof Theory, Automated Reasoning, Proof Search, Modal Logic, First-Order Logic, Complexity Theory, Automata, Cellulære automater, Generative Art, Algorithms, Algorithmic Art, Mathematical Art, Netlogo, Processing, Philosophy, Philosophy of Mathematics, Outreach, Science Communication

Publications

  • Antonsen, Roger & Taalman, Laura (2021). Categorizing Celtic Knot Designs. Proceedings of Bridges 2018: Mathematics, Art, Music, Architecture, Education, Culture. ISSN 1099-6702. p. 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), p. 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. p. 451–454.
  • Hansen, Christian Mahesh; Antonsen, Roger; Giese, Martin & Waaler, Arild (2012). Incremental variable splitting. Journal of symbolic computation. ISSN 0747-7171. 47(9), p. 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, p. 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), p. 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, p. 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), p. 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, p. 214–229.

View all works in Cristin

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

View all works in Cristin

  • Antonsen, Roger (2021). Keltiska knutar. Nämnaren : tidskrift för matematikundervisning. ISSN 0348-2723. 47(4), p. 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. In Davis, Diana (Eds.), 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. [Journal]. 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é. [Newspaper]. 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. [Newspaper]. 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).

View all works in Cristin

Published Nov. 4, 2010 1:45 PM - Last modified Sep. 14, 2018 12:38 PM