News
CWI publishes news item about its research, education and the social impact of this research on a regular basis. In addition to news items, we also publish more extensive stories about high-profile research or about CWI contributing to tackling social issues.
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 …
