Leader of the group Computer Security: Marten van Dijk.
Vacancies
No vacancies currently.
News

Bayesian learning from data: challenges, limitations and pragmatics
How do humans and computers learn from data? PhD student Rianne de Heide of CWI’s Machine Learning group explored Bayesian learning in specific.

Pieter Kleer wins Gijs de Leve Prize
Pieter Kleer, former PhD student of CWI, was awarded the Gijs de Leve Prize 2018-2020 for the best PhD thesis in in the area of Mathematics of Operations Research defended in the last three years.

CWI researchers analyze suicide prevention help calls during pandemic
Salim Salmi, PhD-student in CWI's Stochastics group, analyzed conversations between Stichting 113 Suicide Prevention caregivers and clients before and during the COVID-19 pandemic.

Cum laude for optimization of hinterland transportation
At large deep-sea ports tens of thousands of containers are handled daily. PhD student Bernard Zweers of CWI's Stochastics group investigated how these containers can be transported to the hinterland as efficient as possible. He received a 'cum laude' degree for this PhD research.
Current events
CWI Soirée and Van Wijngaarden Awards 2021
- 2021-11-18T19:00:00+01:00
- 2021-11-18T22:00:00+01:00
CWI Soirée and Van Wijngaarden Awards 2021
Start: 2021-11-18 19:00:00+01:00 End: 2021-11-18 22:00:00+01:00
On Thursday 18 November 2021, CWI will present the Van Wijngaarden Award to a mathematician and computer scientist of special significance during the festive Soirée.
More information will follow asap.
CWI Open Dag 2 oktober 2021
- 2021-10-02T12:00:00+02:00
- 2021-10-02T17:00:00+02:00
CWI Open Dag 2 oktober 2021
Start: 2021-10-02 12:00:00+02:00 End: 2021-10-02 17:00:00+02:00
CWI doet mee aan de Amsterdam Science Park Open Dag tijdens het Weekend van de Wetenschap. Op zaterdag 2 oktober 2021 is het gebouw geopend van 12.00 - 17.00 voor alle belangstellenden.
Binnenkort valt hier te lezen wat er die dag allemaal te doen is op het CWI.
Bereikbaarheid: Wij raden aan om met het openbaar vervoer naar Amsterdam Science Park te komen. Op station Amsterdam Science Park stoppen vier keer per uur treinen. GVB-bus 40 rijdt elke 15 minuten vanaf de stations Amstel en Muiderpoort naar Amsterdam Science
Girlsday 2021
- 2021-04-15T11:00:00+02:00
- 2021-04-15T12:00:00+02:00
Girlsday 2021
Start: 2021-04-15 11:00:00+02:00 End: 2021-04-15 12:00:00+02:00
Around 20 girls will visit CWI on 15 April as part of Girlsday, set up by the Dutch national expert organisation on girls and women in science and technology (VHTO). The goal of Girlsday is to promote girls’ interest in science, technology, engineering and mathematics careers.
During Girlsday, technical companies, (non-)governmental organizations, and research institutes open their doors for 10-15 year old girls. VHTO has organized Girlsday in the Netherlands annually since 2010.
PhD Defense Stef Maree
- 2021-03-17T14:00:00+01:00
- 2021-03-17T15:00:00+01:00
PhD Defense Stef Maree
Start: 2021-03-17 14:00:00+01:00 End: 2021-03-17 15:00:00+01:00
Everyone is invited to attend the public defense of Stef of his PhD thesis:
Model-based evolutionary algorithms for finding diverse high-quality solutions - with an application in brachytherapy for prostate cancer
Promotor 1: Prof.dr. Peter A.N. Bosman, CWI, Amsterdam / TU Delft
Promotor 2: Prof.dr. C.R.N. Rasch, AMC / UvA
Copromotor 1: Dr. Tanja Alderliesten, LUMC, Leiden / UvA
Copromotor 2: Dr. A. Bel, AMC / UvA
(Online) celebration of CWI's 75th birthday
- 2021-02-11T14:00:00+01:00
- 2021-02-11T17:00:00+01:00
(Online) celebration of CWI's 75th birthday
Start: 2021-02-11 14:00:00+01:00 End: 2021-02-11 17:00:00+01:00
Centrum Wiskunde & Informatica is counting down to its 75th anniversary and invites you to join us for a special online event on Thursday 11 February.
Due to restrictions to curb the coronavirus epidemic, we will celebrate our anniversary online. You are cordially invited to join our live video stream. We will send out your personal link to the live stream on Wednesday 10 February so please register before that date.
One of the programme's highlights is the interview with our former director Jos Baeten in which he will reflect on his personal experiences with computers and computing research.
Founded in 1946 as Mathematisch Centrum, our institute has been the birthplace of numerous scientific breakthroughs, and a breeding ground for talented researchers. During our online event, we will look back on our most remarkable scientific achievements.
But above all, we will look into the future with scientific breakout sessions: what do our scientists see when they look ahead to the future of, for example, artificial intelligence or quantum computing? How do we deal with data in the future? And to what level of security can you make computers safe?
Preliminary programme:
14.00 Opening
14.10 Breakout sessions round 1
* 1A: Daniel Dadush - Integer and Linear Programming Beyond the Worst-Case
* 1B: Marten van Dijk - Secure Smart Low Lands
* 1C: Benjamin Sanderse
* 1D: Irene Viola
14.40 Ton de Kok
15.00 Break
15.10 Breakout sessions round 2
* 2A: Peter Bosman
* 2B: Stacey Jeffery
* 2C: Lisa Kohl - Secure Computation with Silent Preprocessing
* 2D: Hannes Muhleisen - Saving the Planet one Query at a Time
15.40 Jos Baeten
16.00 Comedian Adam Fields
16.35 Closing
Chair of the day is Ans Hekkenberg.
For inquiries and further details about our 75th birthday celebrations on 11 February, check our website or contact event coordinator Daniëlle Kollerie (D.C.Kollerie@cwi.nl).
We are trying to get in contact with as many CWI alumni as possible. In case you know of any alumni (scientific and/or support staff) who should take part in the celebrations too, please feel free to forward the above information.
Alumni who would like to stay updated and receive invites to CWI events, should inform Daniëlle Kollerie (kollerie@cwi.nl) on what email address they can be contacted.
NMC 2021 (Dutch Mathematical Congress)
- 2021-01-28T16:00:00+01:00
- 2021-01-28T17:00:00+01:00
NMC 2021 (Dutch Mathematical Congress)
Start: 2021-01-28 16:00:00+01:00 End: 2021-01-28 17:00:00+01:00
The organizing committee of NMC has composed a programme containing various online activities at different times during the year: we proudly present the NMC 2021 Series!
Opening date 28 January 2021 with the Stieltjes Prize award ceremony.
For more information and registration please visit the website.
Members
Associated Members
Publications
-
Dokter, K.P.C, Gadducci, F, Lion, B, & Santini, F. (2021). Soft constraint automata with memory. Journal of Logical and Algebraic Methods in Programming, 118. doi:10.1016/j.jlamp.2020.100615
-
de Boer, F.S, Bonsangue, M.M, Johnsen, E.B, Pun, V.K.I, Tapia Tarifa, S.L, & Tveito, L. (2020). SymPaths: Symbolic Execution Meets Partial Order Reduction. In W Ahrendt, B Beckert, R Bubel, R Hähnle, & M Ulbrich (Eds.), Deductive Software Verification: Future Perspectives (pp. 313–338). doi:10.1007/978-3-030-64354-6_13
-
Hiep, H.A, Bian, J, de Boer, F.S, & de Gouw, C.P.T. (2020). A Tutorial on Verifying LinkedList Using KeY. In Deductive Software Verification: Future Perspectives. doi:10.1007/978-3-030-64354-6_9
-
Wisiol, N, Mühl, C, Pirnay, N, Nguyen, P.H, Margraf, M, Seifert, J.-P, … Rührmair, U. (2020). Splitting the Interpose PUF: A Novel Modeling Attack Strategy. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020(3). doi:10.13154/tches.v2020.i3.97-120
-
Hiep, H.A, Maathuis, O, Bian, J, de Boer, F.S, van Eekelen, M, & de Gouw, C.P.T. (2020). Verifying OpenJDK's LinkedList using KeY. In TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems (pp. 217–234). doi:10.1007/978-3-030-45237-7_13
-
Serbanescu, V.N, & de Boer, F.S. (2020). On the nature of cooperative scheduling in active objects. In Proceedigns of the 35th Annual ACM Symposium on Applied Computing (pp. 1322–1329). doi:10.1145/3341105.3373896
-
Canetti, R, van Dijk, M.E, Maleki, H, Rührmair, U, & Schaumont, P. (2020). Using Universal Composition to Design and Analyze Secure Complex Hardware Systems. In Proceedings of 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). doi:10.23919/DATE48585.2020.9116295
-
Azadbakht, K. (2019, December 11). Asynchronous programming in the abstract behavioural specification language.
-
de Boer, F.S, & Hiep, H.A. (2019). Axiomatic characterization of trace reachability for concurrent objects. In Proceedings of the 15th International Conference on integrated Formal Methods (pp. 157–174). doi:10.1007/978-3-030-34968-4_9
-
Esterhuyse, C.A, & Hiep, H.A. (2019). Reowolf: Synchronous multi-party communication over the Internet?. In Proceedings of the 16th International Conference on Formal Aspects of Component Software. doi:10.1007/978-3-030-40914-2_12
Current projects with external funding
-
Evolutionary changes in Distributed Analysis (ECiDA)
-
Reowolf 2.0: decentralized, synchronous, multi-party Internet communication (Reowolf 2.0)
Related partners
-
Anchormen
-
Vitens