News

Formal Methods group news

Sung-Shik Jongmans wins IPA Dissertation Award 2016

Research school IPA awarded Sung-Shik Jongmans with the IPA Dissertation Award 2016. The jury wrote: “The thesis contains theoretical contributions, novel ideas, and practical implementation results. The results have been impactful and are deemed to be of high quality and significance.”

EATCS Presburger Award 2017 for Alexandra Silva

The 2017 Presburger Committee has unanimously selected Alexandra Silva, a Senior Lecturer at University College London as recipient of the prestigious 2017 EATCS Presburger Award for young scientists. She received the award for a large part of her PhD research, which she carried out in the Formal Methods research group at Centrum Wiskunde & Informatica (CWI) in Amsterdam.

Cum laude for new method making parallel programming easier

Due to the increase of multicore processors used in smart phones, game consoles and other computers, parallel programming has become increasingly important. To prevent software errors, concurrent calculations must always exactly be executed in the correct order. This is not easy, because existing programming techniques for enforcing such orders - interaction protocols - are very hard to use. PhD student Sung-Shik Jongmans of Centrum Wiskunde & Informatica and Leiden University investigated a new programming method to simplify this.

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 Niterói, Brazil, from 14-16 October 2015.

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 Coinduction’ at Leiden University on 15 October 2015. This thesis belongs to the 5% best dissertations in the field of computer science.

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 occasion of the journal’s 40th anniversary.

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.

New technique detects bugs in object-oriented languages

CWI researcher Stijn de Gouw has developed a new technique for the detection of bugs in software written in object-oriented languages like Java. In a first test case, the technique was able to determine the correctness of complex software of marketing software company SDL Fredhopper.

CWI joins Sino-European research network LIAMA

Centrum Wiskunde & Informatica (CWI) has officially joined research network LIAMA. The Sino-European Laboratory in Computer Science, Automation and Applied Mathematics (LIAMA) is a research lab consisting of European and Chinese research institutes in the field of mathematics and computer science. LIAMA conducts research, training and transfer projects in these fields. CWI will join the lab as one of the founding members.

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 mu-Calculi'.

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. Envisage, starting on 1 October, investigates the development of new software techniques for cloud applications, in a consortium together with innovative industries.

Michiel Helvensteijn in winning team Moving Story

Moving Story is the winning project of Startup Weekend Enschede (15-17 March 2013), a competition for startup ideas through mobile and web applications. Moving Story is a social platform for sharing stories linked to specific GPS locations.

Better QoS for distributed software with stochastic and formal methods

Reusability of software is a hot topic nowadays. It is easier, cheaper and more efficient to reuse parts of existing software in order to adjust or incorporate new functionalities, than to design completely new programs. However, due to the different sources and constraints of software components, it is not easy to define the Quality of Service (QoS) for newly composed software, especially when it consists of components or services provided by various geographically distributed organizations. Young-Joo Moon, PhD student at the Centrum Wiskunde & Informatica (CWI) in Amsterdam, developed a stochastic formal model to derive the end-to-end QoS of such software systems.

Frank de Boer appointed professor of Software Correctness

On 15 February 2008 CWI researcher Frank de Boer has been appointed professor of Software Correctness at Leiden University. At the Leiden Institute of Advanced Computer Science (LIACS) he is part of the research cluster Foundation of Software Technology. De Boer's research concentrates on the integration of testing and verification techniques for the validation of component-based and object-oriented software. He will also be active in the organization of the BSc in Computer Science at Leiden University.

Better internet connections possible by means of formal methods

A reliable internet connection − that is what users are looking for. Bahareh Badban, PhD student at CWI, studied methods to improve TCP, one of the most important protocols for Internet applications. She will defend her thesis 'Verification Techniques for Extensions of Equality' on 7 September 2006 at the Vrije Universiteit Amsterdam.

FOCUS and GLANCE subsidy for CWI

NWO granted two FOCUS subsidies to CWI researchers. FOCUS is the open part of the Bsik programme BRICKS, which has been developed by CWI and NWO Physical Sciences to stimulate fundamental computer science research. The programme will deliver important building blocks for the computer of the future.

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'.