Onderzoek aan de faculteit Informatica. TouW-symposium 24 november 2012 Lex Bijlsma, decaan

Transcriptie

1 Onderzoek aan de faculteit Informatica TouW-symposium 24 november 2012 Lex Bijlsma, decaan

2 Groei van de onderzoeksinspanning Onderwijskundig onderzoek hoorde van meet af aan bij de wettelijke taken van de OU Disciplinair onderzoek is een wettelijke taak sinds sep Maar vereist voor accreditatie van onderwijs sinds 2003 Omvang onderzoek 7% in 2006, 13% in 2009, 22% in 2011 Doelstelling 30% Beleid CvB: elk lid van de wetenschappelijke staf moet zowel aan onderwijs als aan onderzoek gaan bijdragen Op den duur geen zuivere docenten of onderzoekers meer

3 Terreinen van onderzoek Gekoppeld aan expertise wetenschappelijke staf en daardoor indirect ook aan de inhoud van het onderwijs Vindt plaats in de domeingroepen Softwaretechnologie Informatiesystemen en bedrijfsprocessen Mens, computer en maatschappij Geen eigen onderzoekplannen of afstudeerrichtingen meer voor gedistribueerde systemen, kunstmatige intelligentie Thema : De rol van ict in leren

4 Aio s, buitenpromovendi en postdocs Aio s (assistenten in opleiding) Promovendi met een dienstverband bij de OU 1 jaar proeftijd, daarna nog 3 jaar aanstelling Onderwijstaak 15% Buitenpromovendi Geen dienstverband of salaris Wel begeleiding en na goedkeuring plan budget Postdocs Gepromoveerde onderzoekers (op projectbasis) Onderwijstaak 15%

5 Hoe word je promovendus? Zie Mastergraad verplicht voor toelating Bekijk het onderzoekprogramma van de faculteit Kies een onderwerp waarin je (zeer) geïnteresseerd bent Neem contact op met de desbetreffende hoogleraar Aspirant-promovendus: schrijven van onderzoekvoorstel OU verzorgt bibliotheektoegang Promovendus: na beoordeling voorstel Budget voor te maken kosten

6 Onderzoek softwaretechnologie Subprogramma Software Technology for Teaching and Learning prof. dr. Johan Jeuring, dr. Bastiaan Heeren Hulpmiddelen die het leren ondersteunen Automatische feedback bij stapsgewijs uitgevoerde oefeningen Subprogramma Software Technology for Quality Improvement prof. dr. Marko van Eekelen, dr. Julien Schmaltz, dr. Harald Vranken Verbetering van de kwaliteit van software (op vele deelterreinen)

7 Projecten (1) Strategy Feedback OU (Jeuring, Gerdes), promotie Math-Bridge EC FP6 econtentplus (Jeuring), afgerond 2012 Formal Correctness of Communication Fabrics: Deadlock, Livelock and Memory Consistency Intel Corporation (Schmaltz, Van Eekelen, Van Gastel) Effective Layered Verification of Networks-on-Chips NWO (Schmaltz, Van Eekelen, Bas Joosten) Formal Verification of Deadlock Avoidance Mechanisms NWO (Schmaltz, Van Eekelen, Verbeek)

8 Projecten (2) Knowledge program security digital banking (KVDB) ING, Rabo, NVB, Politieacademie Interdisciplinair project met 4 aio s Wouter Stol (OU-MW, NHL,Politieacademie), Evert Stamhuis (OU- RW), Marko van Eekelen (OU-INF, RU), Nicolien Kop (Politieacademie) EURO-MILS Europees FP7-project Secure European virtualisation for trustworthy applications in critical domains Trustworthiness for cyber-physical networks based on embedded systems, e.g. in cars or planes OU: Julien Schmaltz, Freek Verbeek

9 Onderzoek Informatiesystemen en bedrijfsprocessen Thema : Sustainable Integration prof. dr. ir. Stef Joosten Softwaretools voor het ontwerpen van bedrijfsprocessen, services en databasesystemen die bewijsbaar consistent zijn met een ontologie Deelterreinen: Architectuur van informatiesystemen (Frans Mofers) Beschrijving bedrijfsprocessen met relatiealgebra (Stef Joosten, Jaap van der Woude, Ella Roubtsova) Project: Ampersand (TNO, Ordina) Formele ontologie voor informatiesystemen (Lloyd Rutledge)

10 Onderzoek Mens, computer en maatschappij Thema: Interaction Design for Free Learning prof. dr. Gerrit van der Veer Interdisciplinair gebied met bijdragen vanuit cognitieve psychologie, ergonomie, ict, mediaontwerp Deelterreinen: Interactieve leeromgeving Patronencollecties Cultuurgebonden aspecten

11 Promovendi ISBP Gerard Michels Richard Nieuwenhuis Debbie Tarenskeen Robby Tosasi MCM Teresa Consiglio Evelien Kok Brigit van Loggem Els Rogier ST Bernard van Gastel Alex Gerdes Jens Haag Bas Joosten Arjan Lamers Carlos Montes Portela

12 Midterm review onderzoek Op verzoek College van Bestuur Panel: prof. dr. Mark van den Brand (TU/e) prof. dr. Bert de Brock (RUG) prof. dr. Anton Nijholt (UT) Op 6 september in Utrecht gesproken met 7 onderzoekers en decaan Rapport voltooid 13 november

13 Midterm review onderzoek: conclusies Omvang disciplinair onderzoek als geheel is nog subkritisch Differentiëren per onderzoeker Niet te veel verschillende onderwerpen Gekozen thema is te smal, omvat niet al het onderzoek Meer gebruikmaken van werkkring studenten Meer samenwerken met andere faculteiten en expertisecentra Buiten mededinging deelnemen aan landelijke onderzoeksvisitatie 2015

14 Onderwijs gerelateerd aan onderzoek Bachelor: Webcultuur Procesmodelleren Security en IT Semantic web Master: Software evolution Software security Software verification and validation Ontwerpen met bedrijfsregels Afstudeeropdrachten