Awards - VERSEN Msc Thesis Awards 2019

17 Feb 2020

On January 31st two Msc Thesis Awards were given for two excellent master's thesis. The two winning candidates are: First Msc Thesis Award: Nathan Cassee with the thesis entitled "The impact of continuous integration on open-source code reviews: how increasing automation changes software engineering practices", supervised by dr. Alexander Serebrenik at TU Eindhoven. Second Msc Thesis Award: Johri van Eerd with the thesis entitled "Parallel term rewriting on GPUs" supervise...

From previous events - New insights from reconstructing the first ALGOL 60 system

18 Dec 2019

Programming computers is difficult, especially if you want programs to work correctly. There are heated debates on the best methods to reach this. To better understand what programming is and how it should be done, CWI's PhD student Gauthier van den Hove reconstructed and analyzed the first ALGOL 60 system, a computer system designed and implemented at the Mathematical Centre (MC, now CWI). On 15 February he defends his PhD thesis "New Insights from Old Programs - The Structure of the First ALGO...

Projects - Patricia Lago, Anna Bon, and Wendelien Tuyp received a grant from the Amsterdam Sustainability Institute (ASI) on food security in developing countries

16 Dec 2019

Patricia Lago, Anna Bon, and Wendelien Tuyp received a grant from the Amsterdam Sustainability Institute (ASI) on food security in developing countries.  The objectives of the project are: Goal-ICT: to focus on the ICT needs, and frame the sustainability concerns relevant for designing context-sensitive solutions for food security in developing countries. Goal-Social: to study the policy context and constraints, and aim at formulating a policy that helps optimizing the aids meant to help ...

Projects - Ivano Malavolta and Patricia Lago receive a Horizon 2020 grant for their uDEVOPS project

16 Dec 2019

Ivano Malavolta and Patricia Lago, both at the Vrije Universiteit Amsterdam, receive a Horizon 2020 grant for their uDEVOPS project.  The objective of the project is to form an international and inter-sectoral network of organisations working on a joint research programme in the field of software quality assurance for Microservice development operations engineering processes.  The project is funded by the European Community, Horizon 2020 Framework Programme, call H2020- MSCA-RI...

PhD defences - PhD thesis Wytse Oortwijn

16 Dec 2019

On December 12, Wytse Oortwijn defended his PhD thesis "Deductive Techniques for Model-based Concurrency Verification" at the University of Twente. His supervisor was prof.dr. M. Huisman from the faculty of Electrical Engineering, Mathematics and Computer Science. In his thesis, Wytse describes practical and reliable verification techniques for global behavioural properties of real-world concurrent and distributed software.  Wytse is now working as a post doc at ETH Zurich in the group...

PhD defences - A unit-aware matrix language and its application in control and auditing

16 Dec 2019

Programming computers is difficult, especially if you want programs to work correctly. There are heated debates on the best methods to reach this. To better understand what programming is and how it should be done, Gauthier van den Hove reconstructed and analyzed the first ALGOL 60 system. He defended his PhD thesis "New Insights from Old Programs - The Structure of the First ALGOL 60 System" at the UvA. Van den Hove's results are not only interesting for computer scientists, but also for s...

Projects - Ivano Malavolta receives NWO Open Competition Domain Science XS individual grant

16 Dec 2019

With his project titled "Green Tactics for Robotics Software", Ivano Malavolta, assistant professor at the VU receives an NWO Open Competition Domain Science XS grant. The project is funding a postdoc position for 9 months or a scientific programmer position for 12 months, so if you know someone who may be interested in the position, please get in touch with Ivano Malavolta (i.malavolta@vu.nl). The project is planned to start next March 2020.   &n...

Projects - Marielle Stoelinga receives ERC Consolidator Grant

16 Dec 2019

Self-driving cars, drones, the Internet of Things; these are just a few of the technologies that could have a significant impact on our lives in the coming years. But this also means that we must carefully weigh the risks against the potential benefits. University of Twente Professor of Risk Management for High-Tech Systems Mariëlle Stoelinga, has been awarded an ERC Consolidator Grant by the European Research Council that will allow her to develop a new and superior model for making improved and in...

Awards and prizes - 2 Master thesis prizes for Sophie Lathouwers

16 Dec 2019

Sophie Lathouwers, PhD student at the University of Twente, received two prizes for her Master thesis "Reasoning About the Correctness of Sanitizers". She received the Greenhost prize of the Koninklijke Hollandsche Maatschappij der Wetenschappen for the best thesis on Internet & Technical Sciences. She also received the 2nd prize for the KNVI Thesis prize for Computer Science and Information Science 2019. Sophie’s Master thesis was supervised by Marieke Huisman, Maarten Evert...

Awards and prizes - Best paper award for Wytse Oortwijn and Marieke Huisman at iFM 2019

16 Dec 2019

Wytse Oortwijn (now at ETH Zurich) and Marieke Huisman (University of Twente) received a best paper award for their paper: "Practical Abstractions for Automated Verification of Message Passing Concurrency" at IFM 2019: 15th International Conference on Integrated Formal Methods.