Vacancies
No vacancies currently.
News

Transportation Research Board Showcase Paper for Stochastics Researchers
Their article "Long-Term Forecasting of Off-Street Parking Occupancy for Smart Cities was" selected by the Transportation Demand Committee from more than 100 papers submitted in 2020.

Researchers find substantial uncertainties in Covid-19 pandemic simulations
Computer modelling to forecast Covid-19 mortality contains significant uncertainty in its predictions, according to an international study led by researchers at UCL and CWI. Their article was published in Nature Computational Science on 22 February.

UvA, HvA and CWI launch AI Media & Democracy Lab
How will AI and digital technologies transform democracy and the media? researchers from UvA, AUAS and CWI will collaborate with media partners, societal partners and the municipality of Amsterdam in the new AI, Media & Democracy Lab.

First prize for logistic innovation COVID-19 vaccination strategy
The jury was impressed by the submission titled ‘A fast and responsive supply chain’ by CWI (Rob van der Mei) and HvA (Dennis Moeke).
Current events
Quantum.Amsterdam Public Meetup
- 2021-01-21T16:00:00+01:00
- 2021-01-21T17:00:00+01:00
Quantum.Amsterdam Public Meetup
Start: 2021-01-21 16:00:00+01:00 End: 2021-01-21 17:00:00+01:00
This is an announcement for something totally different than the usual seminars: the upcoming Quantum.Amsterdam Public Meetup. This event targets an audience without (much) prior knowledge of quantum, hence it may not be of much interest for researchers themselves. However, we do encourage you to invite your partner, nephew, grandma, hamster, etc for this show. This event, and upcoming editions in March and May, should serve as a great way to introduce your friends and family to the things we’re working on at QuSoft.
This week speakers Stacey Jeffery (QuSoft) and Richard Versluis (QuTech / TNO) will give an Introduction to quantum software and quantum hardware.
Please contact Koen Groenland if you like to join in.
PhD Defence Bernard Zweers - ST
- 2021-01-19T15:45:00+01:00
- 2021-01-19T17:15:00+01:00
PhD Defence Bernard Zweers - ST
Start: 2021-01-19 15:45:00+01:00 End: 2021-01-19 17:15:00+01:00
On Tuesday 19th of January 2021 at 15.45 Bernard will defend his dissertation "Optimization of hinterland container transportation and terminal operations" at the Vrije Universiteit Amsterdam
A copy of the dissertation you find here: https://ir.cwi.nl/pub/30283
1st Promotor: Prof. dr. Rob van der Mei - VU
2nd Promotor: Dr. S. Bhulai - VU
Co-promotor: Prof. dr. G. Schaefer - VU
Although the defence will take place as an online meeting, everybody is welcome to view the ceremony via live stream: https://www.youtube.com/channel/UCnN8TaVYe83472ewz9CH9HA
PhD defence Yfke Dulek (QuSoft/A&C)
- 2021-01-15T10:00:00+01:00
- 2021-01-15T11:00:00+01:00
PhD defence Yfke Dulek (QuSoft/A&C)
Start: 2021-01-15 10:00:00+01:00 End: 2021-01-15 11:00:00+01:00
Everyone is welcome to attend the online defence of Yfke Dulek of her thesis: Delegated and Distributed Quantum Computation
Promotor: Prof. dr. H.M. Buhrman and Dr. C. Schaffner
For watching the defence please check the promotion calender
<https://www.uva.nl/onderzoek/promoveren/promotieagenda/promotieagenda.html>
The URL for the live-stream will become available in due course.
Workshop Dutch Secure Autonomous Cloud
- 2021-01-14T13:00:00+01:00
- 2021-01-14T16:00:00+01:00
Workshop Dutch Secure Autonomous Cloud
Start: 2021-01-14 13:00:00+01:00 End: 2021-01-14 16:00:00+01:00
We are pleased to invite you to the interactive workshop “Dutch Secure Autonomous Cloud” (DUSAC) on 14 January 2021. The second edition of this workshop focusses specifically on the security needs and challenges of various industry sectors like finance, insurance, software, high tech system integrators, health, etc. Representatives from these sectors are cordially invited to attend and discuss their needs and challenges with academia and industry partners.
Goal
The goal of the workshop is to develop an ambitious national project proposal within the Long Term Programmes grant (KIC 2020-2023, first deadline: 26 January 2021). The ambition of DUSAC is to develop a sovereign transparent secure computing environment where the whole vertical stack from the hardware layer to the higher software layers is secured. The vertical integration of security is transparent and depends minimally on modules/components that are produced/fabricated out of our control. We provide a scalable distributed computing infrastructure which brings computing to the edge that we can trust (secure, fair, available, high performance, digital autonomy).
This opens new opportunities. A trusted responsible high performance infrastructure allows industries to benefit from its service which, if not available, would otherwise require a large investment in private development of such an environment. Besides such cost reduction, using such a trusted infrastructure goes beyond secure data sharing and exchange. It offers secure joint computation with specifications about usage rights for computed results (that explain when a computed result is allowed to be accessed by a participating party). Transparent handling of security by means of open-source implementations and well defined security guarantees with respect to adversarial models generates consumer trust – in turn leading to the availability of more valuable consumer data.
We envision the trusted infrastructure to fundamentally change our society as a whole because it takes away some of the fear due to lack of trust that has accumulated because of cyber attacks, computer viruses, malware, privacy leakage, etc. Our approach is multidisciplinary involving policy and governance and business models that analyse security as a differentiator. Our consortium develops the security and system aspects of the next generation cybersecurity infrastructure.
Registration
The workshop will take place online on 14 January 2021 from 1.00 to 4.00 pm. If you want to attend this event please register here: REGISTRATION
More information about the LTP call can be found here: https://www.nwo.nl/calls/lange-termijn-programmas-strategiegedreven-consortia-met-impact
You are very much welcome!
Yours sincerely,
Marten van Dijk (CWI), Herbert Bos (VU), Michel van Eeten (TU Delft), Bart Jacobs (RU Nijmegen), Cees de Laat (UvA), Alexandru Iosup (VU), Paola Grosso (UvA), Francesco Regazzoni (UvA), Rob van Nieuwpoort (UvA), Harold Weffers (TU/e), Aiko Pras (UT), Tijs van der Storm (CWI)
CIDR 2021
- 2021-01-11T18:00:00+01:00
- 2021-01-16T19:00:00+01:00
CIDR 2021
Start: 2021-01-11 18:00:00+01:00 End: 2021-01-16 19:00:00+01:00
The Conference on Innovative Data Systems Research (CIDR) is a systems-oriented conference. CIDR is complementary in its mission to the mainstream database conferences like SIGMOD and VLDB, emphasizing the systems architecture perspective.
This year, CIDR will be organized as an online event, from 11-15 January 2021. The program runs daily from 16:00-19:00, and features single-track keynotes, papers, demo presentations, and panel discussions.
More details about the program will be shared soon on this web page and the CIDR website: http://cidrdb.org/cidr2021/
QuSoft Lustrum: Business and Society Day (Online)
- 2020-12-17T11:00:00+01:00
- 2020-12-17T15:00:00+01:00
QuSoft Lustrum: Business and Society Day (Online)
Start: 2020-12-17 11:00:00+01:00 End: 2020-12-17 15:00:00+01:00
Everyone is welcome to attend the QuSoft Business & Society Day as part of the QuSoft Lustrum Month.
For information and registration please visit the website: https://www.qusoft.org/lustrum
Members
Associated Members
Publications
-
Vinju, J.J. (2020). Noisy numbers : column I/O magazine. I/O Magazine : ICT Research Platform Nederland, 17(3), 3–3.
-
van Binsbergen, L.T, Verano Merino, M, Jeanjean, P, van der Storm, T, Combemale, B, & Barais, O. (2020). A principled approach to REPL interpreters. In Onward! 2020 - Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with SPLASH 2020 (pp. 84–100). doi:10.1145/3426428.3426917
-
Verano Merino, M, & van der Storm, T. (2020). Block-based syntax from context-free grammars. In SLE 2020 - Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with SPLASH 2020 (pp. 283–295). doi:10.1145/3426425.3426948
-
van der Storm, T, & Bakker, G. (2020). MATLAB doesn't love me: An essay. In ACM International Conference Proceeding Series (pp. 97–101). doi:10.1145/3397537.3397557
-
van Rozen, R.A. (2020, February 19). Languages of games and play : automating game design and enabling live programming. IPA dissertation series.
-
Aarssen, R.T.A, & van der Storm, T. (2020). High-fidelity metaprogramming with separator syntax trees. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (pp. 27–37). doi:10.1145/3372884.3373162
-
Azadbakht, K, de Boer, F.S, Bezirgiannis, N, & de Vink, E.P. (2019). A formal actor-based model for streaming the future. Science of Computer Programming, 186. doi:10.1016/j.scico.2019.102341
-
Soethout, T.M, van der Storm, T, & Vinju, J.J. (2019). Static local coordination avoidance for distributed objects. In AGERE 2019 - Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2019 (pp. 21–30). doi:10.1145/3358499.3361222
-
Schaefer, I, Reichenbach, C, & van der Storm, T (Eds.). (2019). GPCE 2019: Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. In I Schaefer, C Reichenbach, & T van der Storm (Eds.), .
-
Afroozeh, A, & Izmaylova, A. (2019, June 11). Practical general top-down parsers. IPA dissertation series.
Current projects with external funding
-
Enterprise software engineering ()
Related partners
-
ING Bank