UU.NL HOME cs.uu.nl

Onderwijstaken van Wishnu Prasetya

studiejaar periode vak vorm groep deel opm
dit jaar
2017/2018 0 Colloquium Computing science coordinatie   1  
Computing science MSc thesis coordinatie   1  
Computing science project proposal coordinatie   1  
1 Program semantics and verification college   1  
4 Software testing en verificatie college   1  
werkcollege 1 1  
12 Informatica softwareproject college   0.14  
34 Informatica softwareproject college   0.14  
eerdere jaren
2016/2017 0 Colloquium Computing science coordinatie   1  
Computing science MSc thesis coordinatie   1  
Computing science project proposal coordinatie   1  
1 Computerarchitectuur en netwerken college   0.3  
werkcollege 4 1  
2 Program semantics and verification college   1  
4 Software testing en verificatie college   1  
12 Informatica softwareproject college   0.1  
34 Informatica softwareproject college   0.1  
2015/2016 0 Colloquium Computing science coordinatie   1  
Computing science MSc thesis coordinatie   1  
Computing science project proposal coordinatie   1  
Experimentation project COSC begeleiding   1  
3 Program verification college   1  
4 Software testing en verificatie college   1  
practicum   1  
34 Informatica softwareproject college   0.14  
2014/2015 0 Colloquium Computing science coordinatie   1  
Experimentation project COSC begeleiding   1  
MSc project Computing science coordinatie   1  
3 Program verification college   1  
4 ICT entrepreneurship college   0.4  
practicum   0.5  
Software testing en verificatie college   1  
werkcollege   1  
2013/2014 0 Colloquium Computing science coordinatie   0.5  
Experimentation project Algorithmic Data Analysis coordinatie   1  
Experimentation project COSC begeleiding      
coordinatie   1  
MSc project Computing science coordinatie      
1 ICT entrepreneurship college   0.4  
practicum 1 0.4  
2 Informatica introductieproject werkcollege 4 1  
3 Program verification college   1  
practicum 1 1  
4 Software testing en verificatie college   1  
practicum 1 1  
2012/2013 0 Colloquium Computing science coordinatie   1  
Experimentation project COSC begeleiding   1  
coordinatie   0.5  
MSc project Computing science begeleiding   1  
coordinatie   0.5  
1 Computerarchitectuur en netwerken werkcollege 1 1  
3 1  
2 Informatica introductieproject werkcollege 2 1  
Modelleren en systeemontwikkeling practicum 5 1  
6 1  
3 Program verification college   1  
practicum 1 1  
4 Software testing en verificatie college   1  
practicum 1 1  
2 1  
2011/2012 0 Colloquium Computing science coordinatie   0.5  
Experimentation project COSC begeleiding   1  
coordinatie   0.5  
MSc project Computing science coordinatie   0.5  
2 Gametechnologie introductieproject werkcollege 7 1  
Modelleren en systeemontwikkeling practicum 5 1  
6 1  
3 Program verification college   1  
practicum 1 1  
4 Software testing en verificatie college   1  
practicum 1 1  
2 1  
3 1  
2010/2011 0 Colloquium Computing science coordinatie   0.5  
Experimentation project ST coordinatie   1  
MSc project coordinatie   1  
MSc project Computing science coordinatie   0.5  
1 Programmeren en correctheid college   1  
practicum   1  
Program verification college   1  
2 Modelleren en systeemontwikkeling college   1  
4 Gedistribueerd programmeren practicum   1  
werkcollege   1  
2009/2010 0 Experimentation project ST coordinatie   1  
2 Modelleren en systeemontwikkeling college   0.4  
Program verification college   1  
4 Overdragen van informatica-onderzoek seminar 2 1  
2008/2009 2 Modelleren en systeemontwikkeling college   0.4  
3 Functioneel programmeren werkcollege 3 1  
4 1  
Programmeren en correctheid college   1  
practicum   1  
werkcollege   1  
4 Program verification college   1  
2007/2008 3 Functioneel programmeren werkcollege 3 0.5  
4 0.5  
Programmeren en correctheid college   1  
werkcollege   1  
4 Program verification college   1  
2006/2007 1 Imperatief programmeren practicum 4 1  
5 1  
6 1  
werkcollege 4 1  
5 1  
6 1  
Voorbereiding op softwaretechnologie college   0.4  
3 Program verification college   1  
4 Programmeren en correctheid college   1  
practicum   1  
2005/2006 1 Program verification college   1  
4 Programmeren en correctheid college   1  
2004/2005 3 Program verification college   1  
4 Programmeren en correctheid college   1  
werkcollege 2 1  
2003/2004 3 Functioneel programmeren college   0.15  
Programmeren en correctheid college   1  
4 Program verification college   1  
2002/2003 1 Inleiding softwaretechnologie college   0.25  
Overdragen van de informatica seminar 5 1  
2 Programmeren en correctheid college   1  
werkcollege 1 0.5  
4 Programmaverificatie college   1  
2001/2002 1 Beschrijven en bewijzen werkcollege 4 1  
Objectgeorienteerd modelleren en programmeren combisessie 2 1  
2 Functioneel programmeren (CKI) college   1  
4 Functioneel programmeren reserve   1  
Implementatie van programmeertalen combisessie 4 1  
5 Robuuste industriele software seminar   1