News

News about CWI research, education and the social impact of this research.

QuSoft research center for quantum software launched

Today, on 3 December 2015 QuSoft, the first research center dedicated to quantum software, is launched. It is a joint initiative of CWI, UvA and VU, and will be located at Amsterdam …

FACS Best Paper Award for Formal Methods researchers

During the FACS2015 conference three researchers associated with the CWI Formal Methods research group were awarded the Best Paper Award for their article ‘Composing Constraint Automata, State-by-State’. The conference was held in …

Call for nominations Van Wijngaarden Award 2016

Every five years Centrum Wiskunde & Informatica (CWI) in Amsterdam presents the Van Wijngaarden Award to a mathematician and computer scientist of special significance. At least one of them is a woman. …

Cum laude for 3D modelling of pulsed discharges in air

PhD student Jannis Teunissen from Centrum Wiskunde & Informatica (CWI) has made major progress in modelling the early stages of electric discharges as they occur in lightning, high voltage electricity nets and …

CWI reduces perturbations in tomography

Researcher Folkert Bleichrodt of CWI has developed new methods to improve the applicability of tomography. These methods reduce unwanted perturbations. This allows for applying tomography on a very small scale or based …

Cum laude for PhD student Jurriaan Rot

Infinite data structures can be studied with a simplified technique, thanks to research done by PhD student Jurriaan Rot. He received his PhD degree with honours (cum laude) for his thesis ‘Enhanced …

TCS journal honours Jan Rutten

Jan Rutten from CWI’s Formal Methods research group was recently awarded by the journal Theoretical Computer Science (TCS) for his much cited article Universal Coalgebra – a theory of systems, on the …

Efficient method to make changes in compressed database

PhD student Sándór Héman from CWI developed a new method to compress a large database, allowing for a much faster transport of data from storage to processor. Furthermore he developed efficient algorithms …