News
Computer Security group news
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 …
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 …
Java Bug Fixed with Formal Methods CWI
Researchers from CWI fixed a bug in the widely used object-oriented programming language Java in February 2015. They found an error in a broadly applied sorting algorithm, TimSort, which could crash programs.
Fewer errors in software features by using delta modelling
When new features are being written into software code, errors can easily be made. This is due to the fact that feature code often interacts in many different places in the software.
CWI and SDL join forces to improve cloud-based marketing
Centrum Wiskunde & Informatica (CWI) and SDL recently started a public-private partnership project to improve cloud-based software for marketing purposes. In this joint project both CWI and SDL contribute to the research …
Matteo Mio wins Ackermann Award
Researcher Matteo Mio, who is currently hosted at CWI in the Formal Methods group as an ERCIM postdoctoral fellow, received the 2013 Ackermann Award for his PhD thesis 'Game Semantics for Probabilistic …
Two EU projects for Formal Methods group at CWI
At the end of August, the Formal Methods research group at CWI acquired two EU projects: Envisage and Upscale. At CWI, both FP7 projects each comprise two PhD students for three years. …