Docentevaluatie Cursus Analysis of Embedded Systems, Voorjaar 2009

Docentevaluatie Cursus Analysis of Embedded Systems, Voorjaar 2008

Docentevaluatie Cursus Analysis of Embedded Systems, Voorjaar 2006

Docentevaluatie cursus Protocolvalidatie (PV), Herfst 2003

Deelnemers en rendement

In totaal 15 studenten zijn begonnen met de cursus, waaronder twee junior onderzoekers. Al vrij snel na aanvang gaf een van de studenten, in Nijmegen ivm het Erasmus programma, aan hij de cursus toch niet wilde volgen omdat het teveel leek op een cursus die hij bij zijn eigen universiteit al had gehad. Een van de studenten, een HBO doorstromer, besloot na een aantal weken te stoppen met zijn studie. Een derde student haakte na een paar maanden af, onder andere omdat hij last had van het lawaai van de nieuwbouwactiviteiten tijdens de hoor- en werkcolleges. De overige 12 studenten hebben de cursus succesvol afgerond.

Studentenquetes

De enquete is ingevuld door in totaal 6 studenten. Hieronder een overzicht van de resultaten.

Doelstelling cursus Alle respondenten vonden de cursus zinvol in het kader van hun opleiding. De doelstellingen zijn besproken tijdens college, een handout is uitgedeeld, en ze worden ook besproken op de website. De doelstellingen waren bekend bij de respondenten en iedereen is van mening dat hij de doelstellingen heeft gerealiseerd.

Inhoud cursus De respondenten vonden de cursus interessant (4.3 op een schaal van 1 tot 5) maar ook moeilijk (score 3.8). Er waren geen problemen met het ontbreken van voorkennis, alleen vond een HBO doorstromer de cursus behoorlijk pittig vanwege gebrek aan kennis op het gebied van formele methoden.

Opzet college De opzet van de colleges werd erg geschikt ervaren (score 4.7). Een student merkte op: "Opzet werkt goed, opdrachten zijn representatief en sluiten aan". Een andere student schrijft: "Er mag duidelijker/eerder een goede link naar de praktijk worden gemaakt want in het begin is het niet zo goed duidelijk waar de cursus heen gaat." Het aantal studiepunten en contacturen werd als passend ervaren.

Studiemateriaal en opdrachten Het studiemateriaal bij de cursus werd als redelijk ervaren (score 3.2 op een schaal waarbij 1 erg onduidelijk is en 5 erg duidelijk). De IOA manual riep nogal wat vragen op, de sheets waren soms niet goed. De practicumopdrachten werden als redelijk moeilijk ervaren (score 3.7), maar ze droegen zeer zeker bij tot begrip van de stof (score 4.7). De practicumopdrachten waren over het algemeen duidelijk (score 4), via vragen aan de docent werden evt. onduidelijkheden opgelost.

Uitvoering colleges Men vond de docent duidelijk (score 4.2) en redelijk boeiend (score 3.6). De begeleiding tijdens werkcolleges was goed (score 4). Een respondent noemde het gastcollege door een jo en was daar wat kritisch over. Sterke punten van de docent waren: (1) duidelijk (3x), (2) zeer betrokken bij wat de behoeften zijn van bedrijven, (3) zeer goede begeleiding bij werkcolleges, (4) flexibel, (4) neemt de tijd om dingen uit te leggen, (5) vermogen om uit te leggen (2x), (5) heeft veel kennis van het vakgebied, (6) rustig (2x), (7) Engels. Verbeterpunten zijn: (1) uitspraak Engelse taal, "hier heb ik me meermaals aan geergerd", (1) langzaam praten, mag sneller, (2) snelheid/boeiendheid; colleges komen erg saai over, mede omdat er te vaak rustpunten zijn waarop de docent staat na te denken.

Deelname en inzet
Alle respondenten gaven aan dat ze 75-100% van de colleges hadden bijgewoond. De meeste studenten hebben 2-4 uur per week besteed aan zelfstudie, enkelen 0-2 uur. Vier respondenten waren 3-6 uur per week bezig met het maken van de opdrachten, eentje 0-3 uur, en eentje 6-9 uur.

Tot slot
De cursus heeft studenten geinspireerd om zich verder in het vak / de stof te verdiepen (score 4.2). Alle respondenten waren tevreden met wat ze in de cursus bereikt hebben. Als leukste punten van de cursus werden genoemd: (1) practica, (2) opdrachten, (3) uppaal theorie en praktijk, (4) practicum opdrachten (uppaal), (5) de opgaven, hier kon je echte relevante problemen oplossen, (6) practica (vooral smv en uppaal).

Als meest leerzaam werd genoemd: (1) de opgaven (2) modelleren met tools (2x) (3) hoe embedded systemen werken (4) opdrachten, toepassen theorie (5) theorie verschillende model checkers

Als minst leuke punten werden genoemd: (a) verdieping, (b) colleges (2x), te theoretisch af en toe, (c) had de les liever in het Nederlands gehad, (d) IOA.

Als minst leerzaam noemde 1 respondent "verdieping".

De studenten geven aan in deze cursus veel te hebben geleerd (score 4.3).

Als gemiddeld rapportcijfer krijgt de cursus een 8-.

Eigen ervaringen docent

Ik ben redelijk tevreden over hoe de cursus is gelopen. Het is altijd moeilijk om goede opdrachten te vinden (die spelen een centrale rol in de cursus) en dat is dit jaar erg goed gelukt. Dit college zit heel dicht aan tegen mijn eigen onderzoek, en twee van de drie opdrachten hebben betrekking op (een vereenvoudigde versie van) case studies waarover ik ook wil publiceren. Ik had meer tijd om de zaken goed voor te bereiden dan vorig jaar, en daardoor liep alles beter. Toch zou ik graag nog wat meer tijd hebben gehad om het cursusmateriaal verder te verbeteren. Volgend jaar wil ik toch proberen om de studenten eerder met model checking tools te laten werken aan een serieuze opdracht; dit motiveert erg. Nu was duurde het wat lang voordat men de theorie kon toepassen, en men zag niet altijd waar het goed voor was. Doordat in april 2004 mijn termijn als voorzitter van de subfaculteit afliep had ik het de eerste maanden van het jaar razend druk, waardoor het schandalig lang duurde voordat ik alle practicumopdrachten had nagekeken. Ik vond het verbazend hoeveel begrip de studenten hiervoor konden opbrengen.

Een student had problemen met mijn uitspraak van het Engels terwijl een andere student mij juist complimenteerde. De opmerking over mijn uitspraak kan ik niet zo plaatsen: ik heb een jaar in Amerika gewoond, en volgens mij is mijn uitspraak vrij goed. Net als in voorgaande jaren vonden sommige studenten dat ik te langzaam praat, en dat er teveel rustpunten zijn. Ik zal proberen mijzelf op dit punt te verbeteren, maar ik ben er nog niet helemaal uit hoe. Wat ik wil bereiken is dat studenten af en toe zelf nadenken, en dan is het volgens mij wenselijk dat ik er niet doorheen tetter. Twee studenten gaven juist aan dat ze het een sterk punt van me vinden dat ik rustig ben. Ik ben niet voornemens de hoeveelheid theorie in de cursus te verminderen: de behandelde theorie is nodig om te voldoen aan de eindtermen van de cursus. Wel wil ik proberen de studenten vooraf nog beter te motiveren via opdrachten, en eea nog beter uit te leggen.

Docentevaluatie college Protocolvalidatie (PV), Herfst 2002

Deelnemers en rendement

Dit jaar zijn 6 studenten begonnen met het college PV, waarvan er 5 het college serieus hebben gevolgd. Daarnaast werden de colleges bijgewoond door een postdoc uit mijn groep. Van de 5 serieuze studenten hebben er 2 alle grote opgaven gemaakt en het vak gehaald. Een student heeft 3 opgaven gemaakt, kwam gemiddeld niet op een voldoende uit. Twee andere studenten hebben slechts 2 van de 3 opgaven gemaakt. Aan al deze 3 studenten is een extra opgave aangeboden: door die te maken zouden ze het vak kunnen halen. Tot op heden heb ik echter geen uitwerkingen mogen ontvangen.

In April 2003 diende zich nog een nieuwe student aan, die vroeg of hij middels een paar grote opdrachten buiten het reguliere college om het vak PV zou kunnen halen. Voor deze student is een speciaal programma opgesteld, hij heeft hier een maand full-time aan gewerkt (hiertoe is hem een werkplek op de afdeling aangeboden). Op basis van een schriftelijke rapportage en een mondeling examen heeft hij het vak vervolgens gehaald.

Samenvattend: van de 6 studenten die het vak serieus hebben gevolgd hebben 3 het uiteindelijk gehaald.

Onderwijsvorm

Hoorcollege (wel interactief met veel vragen aan en door studenten), werkcollege waarin de theoretische kennis wordt getoetst via kleine opgaven en men kennis maakt met de model checking tools, grote opgaven die studenten alleen of samen met een medestudent maken en waarvoor ze een aantal weken de tijd hebben.

Studentenquetes

De enquete is ingevuld door in totaal 3 studenten. Hieronder een overzicht van de resultaten.

Doelstelling college Was bekend bij alle deelnemers: behandeld bij eerste college en staat ook op website. Twee respondenten vonden de cusrsus zinvol in het kader van hun opleiding, eentje niet ("iets the theoretisch naar mijn mening, maar dat had ik kunnen verwachten"). De respondenten die de cursus zinvol vonden menen ook dat ze de doelen hebben bereikt, de respondent die de cursus niet zinvol vond vindt dat hij de doelen slechts gedeeltelijk heeft bereikt met name omdat hij de theorie moeilijk vond.

Inhoud cursus De respondenten vonden de cursus interessant maar moeilijk. Er waren geen problemen met het ontbreken van voorkennis.

Opzet college De opzet van de colleges werd als goed ervaren. Een student merkte op: "Je moet actief bezig zijn: er worden problemen behandeld waarover je moet nadenken. Echter, soms vielen er lange stiltes en als ik er dan niet uitkwam had ik een nutteloos gevoel." Het aantal studiepunten en contacturen werd als passend ervaren.

Studiemateriaal en opdrachten Twee studenten vonden het studiemateriaal duidelijk. Een student schrijft "de literatuur bij een opgave kwam soms uit de lucht vallen, vooral bij de eerste opgave". De practicumopdrachten werden als moeilijk ervaren, maar ze droegen wel bij tot begrip van de stof. De practicumopdrachten waren niet altijd direct duidelijk, maar door vragen te stellen aan medestudenten en de docent kwam men er uiteindelijk wel uit.

Uitvoering colleges Men vond de docent duidelijk en redelijk boeiend. De begeleiding tijdens werkcolleges was goed. Sterke punten van de docent waren: (1) geeft veel leuke prakijkvoorbeelden, (2) geduldig, rustig, (3) zeer goede begeleiding bij werkcolleges, (4) weet pittige stof begrijpelijk uit te leggen. Verbeterpunten zijn: (1) meer activiteit, niet teveel stiltes, (2) meer structuur in de stof.

Deelname en inzet
Over het algemeen goed.

Tot slot
Als leukste punten van de cursus werden genoemd: (a) de praktijkvoorbeelden analyseren! Link theorie en praktijk, (b) de opdrachten, (c) het werken met Uppaal en het discussieren over bepaalde problemen.

Als meest leerzaam werd genoemd: (a) de opgaves en sommige colleges over temporele logica, (b) invarianten "want daar had ik nog nooit iets van gezien".

Als minst leuke punten werden genoemd: (a) wiskunde en lange stiltes, (b) het vroege tijdstip.

Als minst leerzaam noemde 1 respondent: "de wiskundige definities achter bepaalde principes want die onthoud ik toch niet" (p> Twee studenten zeggen veel te hebben geleerd, een minder dan hij zou willen.

Als gemiddeld rapportcijfer krijgt de cursus een 7.

Eigen ervaringen docent

Mede door een veelheid aan bestuurlijke/organisatorische taken had ik gedurende het gehele semester te kampen met enorm tijdgebrek. Ik had flink tijd willen investeren in het verbeteren van de sheets, en het maken en snel nakijken van opdrachten. Noodgedwongen heb ik de cursus op routine gedaan, gebruikmakend van materiaal dat er al lag. Gevolg hiervan is dat ik de studenten minder dan anders heb kunnen enthousiasmeren.

Ik ben ontevreden over hoe het college dit jaar verlopen is. Ik blijf het belangrijk vinden om de studenten ook inzicht te geven in de achterliggende theorie. Tijdens het college is dit wel behandeld maar voor mijn gevoel ben ik er onvoldoende in geslaagd de studenten op dit vlak te enthousiasmeren, aan het werk te krijgen (zelfstudie, kleine opgaven,..), en de eindtermen op dit punt te bereiken. Met extra tijdsinvestering van mijn kant was me dit beter gelukt.

Ik vind het belangrijk om studenten actief bij het college te betrekken. Omdat (a) de groep dit jaar vrij klein was, (b) relatief wat minder affiniteit had met theorie, (c) men `s ochtends vroeg nog niet altijd echt wakker was, (d) ikzelf ook vaak onvoldoende de zaken goed had kunnen voorbereiden, was er dit jaar duidelijk minder interactie dan vorige jaren. Vaak wanneer ik probeerde om de studenten erbij te betrekken kwam er nauwelijks respons (en de resulterende stiltes werden ook door de studenten als onplezierig ervaren).

Plannen voor de volgende keer

Highlights die zich lenen voor voorlichting

Twee studenten die als opdracht hadden om een probleem met een Uppaal model in de afstudeerscriptie van Bianca de Vree te analyseren kwamen met een paar uitstekende observaties. Dit leidde tot een correspondentie tussen de docent en het Uppaal team, die vervolgens weer geleid heeft tot een wijziging in de semantiek van Uppaal. (Teleurstellend is dat de twee studenten uiteindelijk deze opdracht nooit hebben afgemaakt.)

Docentevaluatie college Protocolvalidatie (PV), Herfst 2001

Deelnemers en rendement

Dit jaar zijn 12 studenten begonnen met het college PV, waarvan er 10 het college serieus hebben gevolgd. Halverwege is nog een student (HBO doorstromer) afgevallen. Hij vond te moeilijk en wil het volgend jaar, na wat theorie-vakken te hebben gevolgd, het nogmaals proberen. Uiteindelijk hebben 8 studenten de beide grote opgaven voldoende gemaakt en daarmee het vak gehaald.

Onderwijsvorm

Hoorcollege (wel interactief met veel vragen aan en door studenten), werkcollege waarin de theoretische kennis wordt getoetst via kleine opgaven en men kennis maakt met de model checking tools, grote opgaven die studenten maken in groepjes van maximaal 3 en waarvoor ze een aantal weken de tijd hebben.

Studentenquetes

De enquete is ingevuld door in totaal 6 studenten. Hieronder een overzicht van de resultaten.

Doelstelling college Was bekend bij alle deelnemers. Iedereen begreep ook de formulering van de doelstelling in de collegebeschrijving. Alle respondenten vinden dat het college met deze doelen iets toevoegt aan het curriculum, nl verbreding (3) en verdieping (3). Alle respondenten zijn het er mee eens dat het voor een informaticus nuttig is dit te kunnen. Een iemand schrijft: "Informatief, en zeer zeker interessant en dus waardevol".

Inzet Drie respondenten zeggen er graag voor gegaan te zijn de doelen te halen, twee zijn ervoor gegaan maar alleen omdat ze het cijfer nodig hadden. Per week hebben de respondenten gemiddeld 6 uur aan het college besteed. Desondanks vinden alle respondenten (op een na) het in het curriculum gereserveerde aantal studiepunten redelijk.

Hulp bij bereiken doelen Alle respondenten zeggen dat de docent door zijn manier van lesgeven zeker heeft geholpen bij het bereiken van de doelen, Het feit dat de docent buiten de lesuren aanspreekbaar was voor vragen hielp zeker tot een beetje (voorzover van toepassing). Zelfstudie heeft zeker (1), een beetje (2) en nauwelijks (3) geholpen; de oefenopdrachten zeker (4), een beetje (1) en nauwelijks (1), en de practicumopdrachten zeker (4) tot een beetje (2). Ook de grote opdrachten hebben geholpen "Het laat je dieper er naar kijken."

Waardering Alle respondenten vonden het college een uitdaging, en iedereen vond het leuk. Men heeft geen dingen moeten doen waarvan niet duidelijk is waarom dat tot de doelen leidt. Men is zeker (1), een beetje (4) tot niet (1) trots op hetgeen bereikt is.

Punten ter verbetering

Wat was bijzonder leuk/mooi/verhelderend/nieuw?

Eigen ervaringen docent

Mede door het feit dat ik voorzitter was (ben) van de Subfaculteit had ik gedurende het gehele semester te kampen met tijdgebrek. Ik had flink tijd willen investeren in het verbeteren van de sheets, en het maken en snel (!) nakijken van opdrachten. Noodgedwongen heb ik veel op routine gedaan, gebuikmakend van materiaal dat er al lag.

De lijn die ik een paar jaar geleden heb ingezet en waarbij het doel van het college meer is om studenten te leren te specificeren/modelleren en zelf met model checkers te werken is verder doorgezet. Dit spreekt de studenten duidelijk zeer aan. Daarnaast blijf ik het belangrijk vinden om de studenten ook inzicht te geven in de achterliggende theorie. Tijdens het college is dit wel behandeld maar voor mijn gevoel ben ik er onvoldoende in geslaagd de studenten op dit vlak te enthousiasmeren, aan het werk te krijgen (zelfstudie, kleine opgaven,..) en de eindtermen op dit punt te toetsen. Zo heel veel tijd hebben de studenten niet aan het college besteed, dus dit kan er best nog bij. De overige eindtermen zijn naar mijn gevoel wel goed getoetst. Al met al ben ik redelijk tevreden over hetgeen ik dit jaar bereikt heb.

Ik geef dit college altijd met enorm veel plezier, ook deze keer was het een leuke groep die met veel goede vragen kwam.

Plannen voor de volgende keer

Highlights die zich lenen voor voorlichting