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.

Profiles

No photo of Pekka Aho

Pekka Aho

Person: Academic

20182018
Photo of Efthimia Aivaloglou
20182018

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

programming
Feedback
Students
literature
student

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

Prizes

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

Students

Activities 2014 2019

Tijd voor digitale veiligheid

Hugo Jonker (Organiser)
9 May 201910 May 2019

Activity: Participating in or organising an event typesParticipating in OR organising an eventAcademic

AVG en UPLOADFILTERS: goed bestuur of censuur?

Hugo Jonker (Speaker)
21 May 2019

Activity: Talk or presentation typesInvited talkAcademic

Towards automated testing of the Internet of Things: Results obtained with the TESTAR tool

Pekka Aho (Speaker)
8 Nov 2018

Activity: Talk or presentation typesOral presentationAcademic

Press / Media

De hackbaarheid van een patiënt

Hugo Jonker

25/04/19

1 media contribution

Press/Media: Expert CommentPopular

Making Sense of Bitcoin’s Insatiable Energy Appetite

Harald Vranken

2/11/18

1 item of Media coverage

Press/MediaPopular