Jan Willem Klop new KNAW member

CWI's Prof. dr. Jan Willem Klop has been elected as a member of the KNAW (Royal Netherlands Academy of Arts and Sciences). Klop is researcher at CWI and the Catholic University Nijmegen, and professor of Applied Logic at the Vrije Universiteit in Amsterdam. In 2002, he received a doctor honoris causa degree at the English University of East Anglia. He cooperated with Jan Bergstra and Jos Baeten on the development of process algebra (ACP). Currently he works in the area of term rewriting systems, amongst others as co-author of the impressive book 'Term Rewriting Systems'.

Appointment Rob van den Berg

Rob van den Berg has been appointed professor of spatial stochastics at the Faculty of Sciences of the Vrije Universiteit in Amsterdam since July 1, 2003. Van de Berg leads CWI's Stochastics group (PNA3). Among his research interests are percolation, a branch of stochastics studying transitions in connectivity in random systems, and telecommunication networks. More information can be found at: www.cwi.nl/pna3.

SWI-Prolog

SWI-Prolog is the world's most popular implementation of the Prolog programming language.

Alan Turing

Alan Turing (1912-1954) is de grondlegger van de informatica en de kunstmatige intelligentie. Hij wordt gezien als één van de meest invloedrijke personen van de twintigste eeuw.

Speakers CWI Lectures on Algebraic and Geometric Methods in Optimization (2022)

Speakers Lectures Thursday 21 November 2019

CWI in Bedrijf 2017 - FleX-ray Lab

Oratie Jason Frank (UU)

Alle belangstellenden worden uitgenodigd tot het bijwonen van de openbare rede van Jason Frank: More on the nature of prediction: geometric integration Na afloop volgt de receptie in de Senaatszaal.

CWI Lectures in honour of Adriaan van Wijngaarden (2016)

Voorjaarsbijeenkomst WSC in Antwerpen

Voorjaarsbijeenkomst WSC in AntwerpenOp vrijdag 8 mei 2015 organiseert de Werkgemeenschap Scientific Computing haar jaarlijkse voorjaarsbijeenkomst. Dit jaar is de Universiteit van Antwerpen de gastvrouw. Aansluitend op deze bijeenkomst kunnen PhD studenten doorreizen naar de PhDays in België, die gehouden worden van 8 t/m 10 mei.

PhD Defence Keith Myerscough (SC)

Everybody is invited to attend the PhD Defence of Keith Myerscough of his dissertation entitled Correcting Numerical Simulations for Known Expectations. Promotor: prof.dr.ir. J.E. Frank, Universiteit Utrecht.

PhD Defence Folkert Bleichrodt (SC)

Everybody is welcome to attend the defence of Folkert Bleichrodt. The dissertation is entitled "Improving Robustness of Tomographic Reconstruction Methods". Promotor:     Prof.dr. K.J. Batenburg (CWI, Universiteit Leiden)

Inaugural Lecture Marie-Colette van Lieshout

Marie-Colette van Lieshout is benoemd tot hoogleraar Ruimtelijke Stochastiek aan de faculteit Elektrotechniek, Wiskunde en Informatica van de Universiteit Twente.

PhD Defence Lefteris Sidirourgos

Everyone is welcome to attend the PhD Defence of Lefteris Sidirourgos.    Title: Space Efficient Indexes for the Big Data Era   Promotor: Prof.dr. Martin Kersten Co-Promotor: Prof.dr. Peter Boncz     Aula, Universiteit van Amsterdam Oude Lutherse kerk Singel 411

PhD Defence Wagner Fortes

Uitnodiging tot het bijwonen van de openbare verdediging van Wagner Fortes (groep SC) van zijn proefschrift getiteld: "Error Bounds for Discrete Tomography". Promotoren: prof.dr. Joost Batenburg (CWI en Universiteit Antwerpen) en prof.dr.ir. Barry Koren (TU/e).

PhD Defence Niek Bouman (PNA5)

Iedereen is van harte welkom bij de publieke verdediging van Niek Bouman van zijn proefschrift 'Cryptography from Quantum Uncertainty, in the Presence of Quantum Side Information' Promotor: Prof.dr. Ronald Cramer (CWI & Universiteit Leiden) Co-promotor: Dr. Serge Fehr (CWI)

PhD Defence Marc Stevens (PNA5)

Uitnodiging voor het bijwonen van de openbare verdediging van Marc Stevens (groep PNA5 Cryptologie) van zijn proefschrift getiteld 'Attacks on Hash Functions and Applications'. Promotor: Prof.dr. R. Cramer (CWI & Universiteit Leiden) en Prof.dr. A.K. Lenstra (Ecole Polytechnique Federale de Lausanne) Copromotor: dr. B.M.M.

PhD Defence Bin Chen (MAC2)

Uitnodiging voor het bijwonen van de openbare verdediging van Bin Chen (groep MAC2) van zijn proefschrift getiteld 'Interest rate derivative pricing with stochastic volatility'. Promotor: Prof.dr.ir. C.W. Oosterlee (CWI & Universiteit Delft)

PhD Defence Anna Motsartova

Uitnodiging voor het bijwonen van de openbare verdediging van Anna Motsartova (groep MAC3) van haar proefschrift getiteld 'Boundedness and Monotonicity Properties in Numerical Initial Value Problems'. Promotoren: Prof.dr. W.H. Hundsdorfer (CWI en Radboud Universiteit Nijmegen)

De wetenschap in debat - met Jan van Eijck

De wetenschap in debat: serie debatten van de Universiteit van Amsterdam. Jan van Eijck (CWI) debatteert op 8 november met Piet Adriaans (UvA) over het onderwerp: wat is de essentie van informatie? Moderator: Johan van Benthem (UvA).

PhD defence Jana Nemcova

Title: Rational Systems in Control and System Theory. Supervisor: Prof. dr. ir. J.H. van Schuppen. Location: Vrije Universiteit, Aula, De Boelelaan 1105, Amsterdam.

PhD defence Pascal Lieshout

Bandwidth of internet data can be used more effective with queueing models. Mathematician Pascal Lieshout will be promoted on this topic on 5 September at the Universiteit van Amsterdam.

CWI Director and Management Team

CWI is managed by our director Ton de Kok, institute manager Dick Broekhuis and a management team (MT). It is supervised by the NWO-I Foundation Board, and advised by the Institute Advisory Committee (IAR), Scientific Advisory Committee (SAC) and the Works Council.