Projects - Vici grant "TestShift" for Andy Zaidman

17 Jun 2019

Andy Zaidman (TU Delft) was awarded the prestigious NWO Vici grant for his TestShift proposal. TestShift will study how software team dynamics influence software testing culture in general and specific approaches in particular. At the level of individual software engineers, TestShift studies whether software engineers benefit from insight in software testing through test analytics. Software engineers will thus be able to gauge cause and effect of their efforts, giving them a sense of purpose for testi...

Projects - NWO Open Technology Programme grant for Marieke Huisman and Anton Wijs

17 Jun 2019

Prof.dr. M. Huisman (University of Twente) and dr.ing. A. Wijs (Eindhoven University of Technology) received an NWO OTP grant for the project “ChEOPS: verified Construction of corrEct and Optimised Parallel Software”. Two PhD students will be appointed, one in Twente and one in Eindhoven, to make the development and maintenance of software aimed at graphics processing units (GPUs) more insightful and effective in terms of functional correctness and performance. GPUs have an increasingly bi...

Payment problems at large supermarket

17 Jun 2019

Starting at midday on June 11, it was impossible to pay at large supermarkets, especially Albert Heijn. The problem was due to a malfunctioning firewall at KPN. The reason for the failure is said to be 'unknown'. Damages are estimated to run into millions of euro's.

Projects - Self-learning machines hunt for explosions in the universe

17 Jun 2019

The National Science Agenda has awarded a 5 million euro grant to CORTEX – the Center for Optimal, Real-Time Machine Studies of the Explosive Universe. The CORTEX consortium of 12 partners from academia, industry and society will make self-learning machines faster, to figure out how massive cosmic explosions work, and to innovate wider applications. Machine learning has rapidly become an integral part of society, in speech recognition or information retrieval. This is also the case in science, f...

Next events - FACS 2019 at CWI, Amsterdam

17 Jun 2019

The 16th International Conference on Formal Aspects of Component Software (FACS 2019) will be held 23-25 October 2019 at CWI in Amsterdam, with keynotes by Wan Fokkink, Carlo Ghezzi, and Kim Larsen. FACS 2019 is concerned with how formal methods can be applied to component-based software and system development, including (but not limited to) service-oriented and cloud computing, cyber-physical systems, and the Internet of Things. Abstract and paper submission is now open (deadline: 28 June). The pr...

From the VERSEN board - June 2019

17 Jun 2019

The VERSEN board has grown: Felienne Hermans (Leiden), Marten van Sinderen (Twente), Joost-Pieter Katoen (Twente/Aachen) and Alexander Serebrenik (Eindhoven) have joined the board. Moreover, Alexander Serebrenik has kindly agreed to take up the role of secretary for the Versen board. I would like to take this opportunity to thank Jurgen Vinju for all the work he did as a secretary for VERSEN. The board has continued working on the manifesto about Software Research. We now have a complete draft, a...

VU/UvA PhD defense of Fahimeh Alizadeh Moghaddam

22 Mar 2019

Fahimeh Alizadeh Moghaddam will defend her PhD thesis titled "Self-Adaptation for Energy Efficiency in Software Systems" on Wednesday April 17 at 14:00, location Agnietenkapel in Amsterdam. Fahimeh's PhD is a collaboration between the S2Group @VU and the SNE group @UvA and it has been pursued under the supervision of prof. Patricia Lago (VU), dr. Paola Grosso (UvA), and prof. Cees de Laat (UvA). 

Awards - S2Group@VU research awarded with 2 prizes at HICSS 2019

22 Mar 2019

The paper “DecidArch: Playing Cards as Software Architects”, originating from a collaboration of the S2Group with international academic and industrial partners, was awarded with two distinct prizes at the 52nd Hawaii International Conference on System Sciences (HICSS 2019). The research presents a novel educational game conceived to train students and practitioners in concepts related to software architecture and decision making. The game is currently used as an interactive session of the...

S2Group@VU research awarded with 2 prizes at HICSS 2019

22 Mar 2019

The paper “DecidArch: Playing Cards as Software Architects”, originating from a collaboration of the S2Group with international academic and industrial partners, was awarded with two distinct prizes at the 52nd Hawaii International Conference on System Sciences (HICSS 2019). The research presents a novel educational game conceived to train students and practitioners in concepts related to software architecture and decision making. The game is currently used as an interactive session of the...

New people - Tom van Dijk started in Twente as assistant professor

22 Mar 2019

Tom van Dijk started as assistant professor in the Formal Methods and Tools group at the University of Twente. His research is connected to formal verification and synthesis, including the efficient solving of parity games, using binary decision diagrams in formal methods and SAT/SMT solving with multi-core parallelism. He also likes making and improving usable research tools. Welcome on board, Tom!