Roger Antonsen
Projects
Open zone for experimental informatics (2011-).
A student laboratory at the department that is a project based meeting place for engaged and curious students, a different learning environment and a creative playroom. The objective is to (1) Collect and display good student projects. (2) Increase involvement, curiosity and enthusiasm of the entire department, both students and staff. (3) Communicate informatics to a wider audience. (4) Create a forum for creative and committed students.
Smart juggling balls with visual reinforcement (2009-).
An outreach project with juggling balls that understand and react to their environment. The project explores technology and art in an original way that combines programming, mathematics, informatics, robotics, pedagogics, art, and design.
Teaching
Responsible :
- INF2080 - Logic and computation (V2012)
- INF1080 - Logical methods for informatics (A2010)
- INF3170 - Logic (V2004, V2005, V2006, V2010)
- INF1800 - Logic and computation (H2008)
- INF3110 - Programming languages (H2003)
- INF5170 - Masterseminar in logic (H2003, V2004, H2004, V2005, H2005, V2007, H2007, V2008)
- MAT1030 - Discrete mathematics (V2009)
Guest lecturer:
- INF1510 - Design (V2011)
- INF1400 - Digital technology (H2011)
- INF3170 - Logic (V2007, V2011)
- MAT1030 - Discrete mathematics (V2008)
- INF5170 - Masterseminar in logic (V2006)
Higher education and employment history
Postdoctor at the Department of Informatics, 2008-2010.
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
Logic and automated reasoning, in particaular tableau and sequent calculi for first-order logic, outreach, rapid prototyping, design, interactive art, Arduino, electronics.
Publications
- Antonsen, Roger & Waaler, Arild (2007). A Labelled System for IPL with Variable Splitting . Lecture Notes in Computer Science = Lecture notes in artificial intelligence. ISSN 0302-9743. LNAI(4603), s 132- 146 . doi: 10.1007/978-3-540-73595-3_10
- 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 (2005). Consistency of Variable Splitting in Free Variable Systems of First-Order Logic . Lecture Notes in Computer Science = Lecture notes in artificial intelligence. ISSN 0302-9743. LNAI(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 = Lecture notes in artificial intelligence. ISSN 0302-9743. 3702, s 33- 47
- Waaler, Arild & Antonsen, Roger (2003). A Free Variable Sequent Calculus with Uniform Variable Splitting. Lecture Notes in Computer Science = Lecture notes in artificial intelligence. ISSN 0302-9743. 2796, s 214- 229
- 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.