Associate Professor at the Department of Informatics, University of Oslo, and Visiting Scholar at UC Berkeley, California.
Personal home page: rantonse.no
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.
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.
- IN1150 - Logical methods (S2018,F2018)
Responsible and lecturer; the Spring course is mandatory for two of the Bachelor programs, and the Fall course is an online course.
- INF1080 - Logical methods for informatics (F2010, F2011, F2012, F2013, F2014, F2015, F2016)
Responsible and lecturer; the course is mandatory for two of the Bachelor programs.
- INF2080 - Logic and computation (S2012)
- INF3170 - Logic (S2004, S2005, S2006, S2010)
- INF1800 - Logic and computation (F2008)
Teaching half the couse, the logic part, toghether with Lars Kristiansen.
- INF3110 - Programming languages (F2003)
Adapting and teaching the entire course. This is the first time the course is given, and the content is completely rewritten from the old course IN211.
- INF5170 - Masterseminar in logic (F2003, S2004, F2004, S2005, F2005, S2007, F2007, S2008)
- MAT1030 - Discrete mathematics (S2009)
Re-organizing the course, working out new curriculim and teaching (around a thrid) with Dag Normann, professor in the Mathematics Deptartment, i 2008. Course responsible in 2009, hired by the Mathematics Department.
- ART 23AC - Data Arts at UC Berkeley, California
Guest lecturer on mathematical art.
- INF1510 - Design (S2011, S2012, S2013)
Responsible for the part about Arduino (hardware and software) and electronics.
- INF1400 - Digital technology (F2011)
Guest lecturer on Arduino (hardware and software).
- INF3170 - Logic (S2007, S2011)
- MAT1030 - Discrete mathematics (S2008)
- INF5170 - Masterseminar in logic (S2006)
- 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.
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.