News and Events
Here we list the news of FMT
|May 1, 2013||
RWTH Aachen has selected Prof. Joost-Pieter Katoen as Distinguished Professor. This competitive reward is an exceptional recognition of his excellent research record. The honour comes with an extensive research budget.
|February 26, 2013||
Lesley Wevers, Wanno Drijfhout and Oliver Jundt have won the Norvig Web Data Science Award. This is a challenge where participants show what they can do with the Common Crawl dataset -- a snapshot of a large part of the web -- using SURFsara’s Hadoop service to provide big data compute power. The winning entry uses the dataset to construct a database of associated concepts, which can be queried through a web application with two query interfaces. A textual interface allows searching for similarities and differences between multiple concepts using a query language similar to set notation, and a graphical interface allows users to visualize similarity relationships of concepts in a force directed graph.
For more information see:
|December 12, 2012||
On Friday 30 November last, Tom van Dijk has won the second prize for his Master thesis, in the national M&I Informatics Thesis Competition 2012. See University website (in dutch), Technisch Weekblad website (in dutch), KHMW website (in dutch).
|December 12, 2012||
For the second year running, Arend Rensink of the FMT group was nominated by the Computer Science students as one of the potential recipients of the yearly award for the best teacher. The list of nominees, in alphabetical order, reads:
See also here.
|December 6, 2012||
On Thursday 29 November last, Dino Distefano, who in 2002 received his PhD degree at the FMT group of the Department of Computer Science (EWI), gave a honorary lecture at the official reception of the prestigious Roger Needham Award of the British Computer Society. The award is given annually for a distinguished research contribution in computer science by a UK based researcher who has completed up to 10 years of post-doctoral research.
Dino, who after his graduation went to work at the Queen Mary college in London (where he was appointed professor after winning this award), gave a presentation on “Memory Safety Proofs for the Masses”, in which he reported on recent successes in the automatic detection of certain types of errors in industrial-sized code bases (such as, among others, the 5M-lines Android operating system). See www.bcs.org/needham/2012 for more information.
The first picture shows Dino at his honorary lecture, the second shows him with his proud PhD supervisors, Joost-Pieter Katoen (right) and Arend Rensink (left).
|November 5, 2012||
Human behaviour key in protecting information assets
An information infrastructure may be protected by the best technical means possible, but in the end it is often human behaviour that leads to unwanted intrusion or to the theft of information. By themselves, technical solutions will not solve these problems. That’s why universities and companies all over Europe are getting involved in the TREsPASS project, which makes specific allowance for the human dimension. The aim is to develop a smart ‘attack navigator’, which will trace potential weak points within an organization or a given infrastructure. The 13.5 million € project, which is being coordinated by the University of Twente in the Netherlands, starts on 1 November.
Everyone is familiar with the yellow ‘Post-it’ memos, showing login details, that are often found stuck to computer monitors. The same goes for USB sticks found in car parks. However, few grasp the real impact of such actions on an organization’s business or brand. Both may eventually lead to data theft, not as a result of any technical failure, but as a result of the vagaries of human behaviour. The TREsPASS project’s `attack navigator’ combines technical and human aspects of security to identify weak points in organizations and their infrastructure. The tool can then help users to select the most effective countermeasures. To this end, the project combines knowledge from the technical sciences (how vulnerable are protocols and software?) and social sciences (how vulnerable are patterns of human behaviour and why?), as well as state-of-the-art industry processes and tools. Visualizing this information in a sufficiently expressive way is one of the challenges facing this project.
FMT members involved: Marielle Stoelinga (coordinator of WP3) and Florian Arnold (PhD student)
|October 18, 2012||
Jaco van de Pol won the first prize in the RERS challenge at the ISOLA conference at Crete. The assignment was to check 100 properties on 15 C-programs with a PLC-like flat control structure including integer arithmetic. The programs were up to 6 MB large, with state spaces over 1 billion states.
The winning strategy was to transform the programs to Promela and check the properties with the multi-core LTL engine developed by Alfons Laarman, on a cluster of machines including a 48-core machine with 148 GB internal shared memory.
This was a free-style challenge. Our high-performance exhaustive analysis with LTSmin had to compete with approaches using BDDs, static analysis, constraints and symbolic execution.
|October 12, 2012||
During his internship, MTV Student Jeroen Meijer has applied innovative model-based testing techniques at PANalytical, a high tech company producing Xray detectors. He will present his techniques at the 18th Dutch Testing Day, held at November 27th in Utrecht.
|October 12, 2012||
MuseumJeugdUniversiteit is an initiative by leading Dutch Museums to get primary school pupils interested in science.
Mariëlle Stoelinga will give a guest lecture about making and breaking secret codes in Museum Twentse Welle.
|October 1, 2012||
The paper titled Pattern-based Graph Abstraction received the best paper award for the Foundations Track of the Sixth International Conference on Graph Transformation (ICGT) held in Bremen, Germany during the last week of September 2012.