News and Events

Here we list the news of FMT

<< 1 2 3 4 5 6 7 8 9 >>

December 11, 2013

Professor Jaco van de Pol waarnemend wetenschappelijk directeur CTIT

Het College van Bestuur heeft prof. dr. Jaco van de Pol benoemd tot waarnemend Wetenschappelijk Directeur van het Centrum voor Telematica en Informatietechnologie (CTIT) van de UT. De benoeming geldt vooralsnog voor een half jaar.

Prof. Jaco van de Pol (1969) is sinds 2007 verbonden aan de Universiteit Twente, waar hij de leerstoel Formal Methods and Tools leidt. Hij is gespecialiseerd in geavanceerde technieken, zoals model checking, om de betrouwbaarheid en veiligheid van complexe systemen te testen. Van de Pol studeerde en promoveerde aan de Universiteit Utrecht. Hij was onder meer werkzaam bij het Centrum voor Wiskunde en Informatica in Amsterdam, de LMU München en de TU Eindhoven. Hij coördineert het UT-aandeel in het 3TU Centre on Dependable ICT Systems (3TU.CEDICT) en is al lid van het expertiseteam dat het CTIT-bestuur adviseert.

Prof. Van de Pol volgt in deze functie tijdelijk prof. Peter Apers op, die per 1 januari 2014 decaan wordt van de faculteit Elektrotechniek, Wiskunde en Informatica (EWI).

September 20, 2013

Mark Timmer editor of the Nieuw Archief voor Wiskunde

Mark Timmer was invited to become an editor of the "Nieuw Archief voor Wiskunde". This quarterly journal of the Royal Dutch Mathematical Society is aimed at anyone who is involved with mathematics professionally.

September 17, 2013

Joost-Pieter Katoen is appointed as member of the Academia Europaea

Academia Europaea is the European Academy of Sciences, similar to the Dutch KNAW. See for information on the EA: "Our members are scientists and scholars who collectively aim to promote learning, education and research. ... members [are] leading experts from the physical sciences and technology, biological sciences and medicine, mathematics, the letters and humanities, social and cognitive sciences, economics and the law."

September 4, 2013

Prof. Aksit's keynote talk at SEAA 2013

Prof. Aksit will give a keynote talk at the 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013) in Santander, Spain on September 5, 2013, entitled “Gummy Modules for Coping with Emergent Behaviour”.

Further information.

July 19, 2013

Marieke Huisman receives Netherlands Prize for ICT Research 2013

The Netherlands Prize for ICT research 2013 worth €50,000 has been awarded to Dr Marieke Huisman (University of Twente). Computer scientist Huisman leads a research team that is working on reliability and correctness of concurrent software.

The jury was impressed by the quality and size of Marieke Huisman's work. They therefore consider Marieke Huisman to belong to the absolute top of her generation. Most computers and smartphones nowadays run concurrent software. This makes the software faster, but the different processes can interfere, which can cause computers to crash or malfunction. Huisman’s research helps eliminate those bugs and crashes, by use of logic-based reasoning. Over the past ten years she has made considerable progress in this area. 'She is also able to communicate the importance of her research and of computer science in general. She is committed to increasing young people's – and particularly girls' – interest in computer science and technology', according to the jury.

May 1, 2013

Joost-Pieter Katoen appointed RWTH Distinguished Professor

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 won Norvig Web Data Science Award

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:
Norvig award website:
Winning Entry:
Web application:

December 12, 2012

Arend Rensink nominated for the Inter-Actief Onderwijsprijs 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:

  • Harry Aarts
  • Lesley Broos
  • Bert Molenkamp
  • Arend Rensink

See also here.

December 12, 2012

Tom van Dijk wins second prize in the national M&amp;I Informatics Thesis Competition 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 6, 2012

EWI Alumnus Dino Distefano receives prestigious Roger Needham award

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

M:\accountmanger\ewi\nieuwsbrief\ewi\13-01-17\niet-geredigeerd\lecture - later.JPG


<< 1 2 3 4 5 6 7 8 9 >>