Roger Antonsen
Prosjekter
Åpen sone for eksperimentell informatikk (2011-).
Et studentlaboratorium ved institituttet som er 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.
Smarte sjongleringsballer med visuell forsterkning (2009-).
Et formidlingsprosjekt med utgangspunkt i sjongleringsballer som forstår og reagerer på sine omgivelser. Prosjektet utforsker teknologi og kunst på en original måte som knytter sammen programmering, matematikk, informatikk, robotikk, pedagogikk, kunst og design.
Undervisning
Fagansvarlig:
- INF2080 - Logikk og beregninger (V2012)
- INF1080 - Logiske metoder for informatikk (H2010, H2011)
- INF3170 - Logikk (V2004, V2005, V2006, V2010)
- INF1800 - Logikk og beregninger (H2008)
- INF3110 - Programmeringsspråk (H2003)
- INF5170 - Masterseminar i logikk (H2003, V2004, H2004, V2005, H2005, V2007, H2007, V2008)
- MAT1030 - Diskret matematikk (V2009)
Gjesteforeleser:
- INF1510 - Bruksorientert design (V2011, V2012)
- INF1400 - Digital teknologi (H2011)
- INF3170 - Logikk (V2007, V2011)
- MAT1030 - Diskret matematikk (V2008)
- INF5170 - Masterseminar i logikk (V2006)
Bakgrunn
Postdoktor ved Institutt for informatikk, 2008-2010.
PhD fra Institutt for informatikk med avhandlingen The Method of Variable Splitting, 2008.
Cand. philol. i Språk, logikk og informasjon med hovedoppgaven Free-variable Sequent Calculi, 2003.
Faglige interesser
Logikk og automatisk resonnering, spesielt tablå- og sekventkalkyler for førsteordens logikk, formidling, prototyping, design, interaktiv kunst, Arduino, elektronikk.
Publikasjoner
- 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.