Search results

CWI unveils real nature of Eilenberg-type correspondences

After almost forty years, a well-known theorem in algebra about 'Eilenberg-type correspondences' is finally fully understood. Julian Salamanca, PhD student at ...

CWI develops software that can manage itself

The increase of cloud technology has put a strain on developers and IT administrators to manually manage cloud software services and hardware infrastructure. ...

CWI symposium: 'It's All About Coordination' on the occasion of the retirement of prof.dr. Farhad Arbab. Everyone is cordially invited to attend this ...

Commit2Data grant for better, faster and real-time adaptable big data analysis

To improve parallel processing of big data, NWO granted the project ‘Evolutionary changes in Distributed Analysis’ (ECiDA) within their Commit2Data programme. ...

Best Paper Award for Training DevOps engineers

Researchers from CWI's Formal Methods group won the Best Paper Award in the 6th European Conference on Service-Oriented and Cloud Computing (ESSOC) in ...

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

Everybody is welcome to attend the public defense of Sung-Shik Jongmans of his thesis 'Automata-Theoretic Protocol Programming'. Promotor: Prof.dr. Farhad Arbab

ECT: The Extensible Coordination Tools consist of a set of plug-ins for the Eclipse platform to facilitate development of concurrency protocols and distributed ...