Department of Computer Science

Fingerprint

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

Network

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

Pekka Aho
- Department of Computer Science - Researcher
- Research Program Learning and Innovation in Resilient systems (LIRS) - Researcher
Person: Academic
20162020
Efthimia Aivaloglou
- Department of Computer Science - Lecturer
- Research Line Learning (part of LIRS program) - Lecturer
Person: Academic
20182020
G Alpár
- Department of Computer Science - Senior Lecturer
- Research Line Innovation (part of LIRS program) - Senior Lecturer
Person: Academic
20172020

1 Finished
1 Not started

ISI: Interpersonal Stress Intervention with AI
Henkel, A. & Bromuri, S.
1/03/21 → 28/02/25
Project: PhD project
Phd project Josje Lodder
Lodder, J.
1/01/15 → 11/09/20
Project: PhD project

ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks
Ferreira Torres, C., Baden, M., Norvill, R., Borja Fiz Pontiveros, B., Jonker, H. L. & Mauw, S., Oct 2020, ASIA CCS '20: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security. New York, NY: Association for Computing Machinery (ACM), p. 584-597 14 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality
Kamps, S., Heeren, B. & Jeuring, J., Aug 2020, Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell. New York, NY, USA: Association for Computing Machinery, p. 67–79 13 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
A Tutorial on Verifying LinkedList Using KeY
Hiep, H-D. A., Bian, J., Boer, F. S. D. & Gouw, S. D., 2020, Deductive Software Verification: Future Perspectives. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R. & Ulbrich, M. (eds.). Cham: Springer, p. 221-245 25 p. (Lecture Notes in Computer Science, Vol. 12345).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Best Paper Award
Verbeek, Freek (Recipient), 2020
Prize: Other distinction › Academic
Best Paper Award at AIMA4EDU workshop at IJCAI'19.
Di Mitri, D. (Recipient), 11 Aug 2019
Prize: Prize (including medals and awards) › Academic
Best paper award ESOCC 2017
de Gouw, Stijn (Recipient), 2017
Prize: Prize (including medals and awards) › Academic

17 Invited talk
15 Participating in OR organising an event
9 Editorial work journal
8 Oral presentation
More

The 9th Computer Science Education Research Conference
Ebrahim Rahimi (Organiser)
19 Oct 2020 → 20 Oct 2020
Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
International Journal of Digital Content Management (Journal)
Ebrahim Rahimi (Member of editorial board)
1 Aug 2020
Activity: Publication peer-review and editorial work types › Editorial work journal › Academic
The 9th Computer Science Education Research Conference (Event)
Ebrahim Rahimi (Peer reviewer)
18 Aug 2020
Activity: Publication peer-review and editorial work types › Publication Peer-review (journal publication) › Academic

L1 de Stemming - hoe beveilig je je tegen computerhackers?
Hugo Jonker
12/01/20
1 Media contribution
Press/Media › Popular
De hackbaarheid van een patiënt
Hugo Jonker
25/04/19
1 Media contribution
Press/Media: Expert Comment › Popular
Making Sense of Bitcoin’s Insatiable Energy Appetite
Harald Vranken
2/11/18
1 item of Media coverage
Press/Media › Popular