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

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

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. 2010 –

•

Omvang onderzoek 7% in 2006, 13% in 2009, 22% in 2011 –

•

Maar vereist voor accreditatie van onderwijs sinds 2003

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

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 2011-2013: De rol van ict in leren

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%

Hoe word je promovendus? •

Zie http://www.ou.nl/web/graduate-school/informatica –

•

Mastergraad verplicht voor toelating

Bekijk het onderzoekprogramma van de faculteit –

http://portal.ou.nl/web/informatica/onderzoek

–

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

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)

Projecten (1) •

Strategy Feedback –

•

Math-Bridge –

•

Intel Corporation (Schmaltz, Van Eekelen, Van Gastel)

Effective Layered Verification of Networks-on-Chips –

•

EC FP6 eContentPlus (Jeuring), afgerond 2012

Formal Correctness of Communication Fabrics: Deadlock, Livelock and Memory Consistency –

•

OU (Jeuring, Gerdes), promotie 23-11-2012

NWO (Schmaltz, Van Eekelen, Bas Joosten)

Formal Verification of Deadlock Avoidance Mechanisms –

NWO (Schmaltz, Van Eekelen, Verbeek)

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 (OURW), 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

Onderzoek Informatiesystemen en bedrijfsprocessen •

Thema 2011-2013: 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)

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

Promovendi •

•

ISBP

•

ST

–

Gerard Michels

–

Bernard van Gastel

–

Richard Nieuwenhuis

–

Alex Gerdes 

–

Debbie Tarenskeen

–

Jens Haag

–

Robby Tosasi

–

Bas Joosten

MCM

–

Arjan Lamers

–

Teresa Consiglio

–

Carlos Montes Portela

–

Evelien Kok

–

Brigit van Loggem

–

Els Rogier

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

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

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 –

http://portal.ou.nl/web/informatica/afstuderen