Fingerprint Dive into the research topics where Department Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

student Social Sciences
Bayesian networks Engineering & Materials Science
Communication Engineering & Materials Science
Students Engineering & Materials Science
Model checking Engineering & Materials Science
Bisimulation Mathematics
Application programs Engineering & Materials Science
Specifications Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2015 2019

A Systematic Literature Review of Automated Feedback Generation for Programming Exercises

Keuning, H., Jeuring, J. T. & Heeren, B. J., Jan 2019, In : ACM Transactions on Computing Education. 19, 1, 43 p., 3.

Research output: Contribution to journalReview articleAcademicpeer-review


In Silico Validation of a cartilage specific circadian clock: mutation of BMAL1 increased MMP expression

Khurana, S., Bokkers, A., Geijs, D. J., Schivo, S., Karperien, M. & Post, J. N., Apr 2019, In : Osteoarthritis and Cartilage. 27, S1, p. S193-S194 2 p.

Research output: Contribution to journalConference Abstract/Poster in journal Academicpeer-review

A Compositional Approach for Verifying Protocols Running on On-Chip Networks

Verbeek, F., Yaghini, P. M., Eghbal, A. & Bagherzadeh, N., Jul 2018, In : Ieee Transactions on Computers. 67, 7, p. 905-919 15 p.

Research output: Contribution to journalArticleAcademicpeer-review


Best paper award ESOCC 2017

Stijn de Gouw (Recipient), 2017

Prize: Prize (including medals and awards)Academic

Best student paper award

Raphaela Butz (Recipient), Arjen Hommersom (Recipient) & M.C.J.D. van Eekelen (Recipient), 2018

Prize: Prize (including medals and awards)Academic

Best Student Paper Award CSEDU2014

Jens Haag (Recipient), Christian Witte (Recipient), Stefan Karsch (Recipient), Harald Vranken (Recipient) & Marko van Eekelen (Recipient), 2014

Prize: Prize (including medals and awards)Academic


Activities 2014 2019

AVG en UPLOADFILTERS: goed bestuur of censuur?

Hugo Jonker (Speaker)
21 May 2019

Activity: Talk or presentation typesInvited talkAcademic

Formative assessment of programming growth using students generated design products in the context of secondary school

Ebrahim Rahimi (Speaker)
17 Apr 2019

Activity: Talk or presentation typesOral presentationAcademic

Shepherd - an automatic and large-scale study of website login security

Hugo Jonker (Speaker)
18 Nov 2019

Activity: Talk or presentation typesInvited talkAcademic

Press / Media

De hackbaarheid van een patiënt

Hugo Jonker


1 Media contribution

Press/Media: Expert CommentPopular

Making Sense of Bitcoin’s Insatiable Energy Appetite

Harald Vranken


1 item of Media coverage