News and Events

Here we list the news of FMT

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

October 16, 2018

'Internetscriptieprijs' for Djurre van der Wal!

Djurre van der Wal has won the "KHMW Internetscriptieprijs", the Internet MSc prize in the category "internet and technological sciences"!  The jury has awarded this prize on behalf of KHMW, the Royal Dutch Society of Sciences. The prize will be handed over on November 1st, 2018. Djurre has been asked to present his MSc research on the specification and verification of Wireless Network Protocols in AWN and mCRL2.

Further information.

September 13, 2018

Güner Orhan wins the IEEE Transactions on Cognitive and Developmental Systems (TCDS) Outstanding Paper award

Güner Orhan, with his co-authors, won the 2019 Outstanding Paper award in IEEE Transactions on Cognitive and Developmental Systems (TCDS)  for their paper entitled “Learning Context on a Humanoid Robot Using Incremental Latent Dirichlet Allocation,” by Hande Celikkanat, Guner Orhan, Nicolas Pugeault, Frank Guerin, Erol Şahin, and Sinan Kalkan. In: IEEE Transactions on Cognitive and Developmental Systems (IEEE TCDS), vol. 8, no. 1, pp. 42-59, 2016. The prize comes with a honorarium of US $1,000.

September 12, 2018

Vincent Bloemen wins Best Student Paper at BPM2018

Vincent Bloemen won the Best Student Paper at BPM2018 (Sydney, Australia) for the paper "Maximizing Synchronization for Aligning Observed and Modelled Behaviour", by Vincent Bloemen, Sebastiaan van Zelst, Wil van der Aalst, Boudewijn van Dongen, and Jaco van de Pol.

April 15, 2018

Verify This Silver Award for Wytse Oortwijn and Mohsen Safari

At 'Verify This', part of the ETAPS Conference in Thessaloniki in April 2018, Wytse Oortwijn and Mohsen Safari won Verify This Student Team - Silver Award!

April 10, 2018

ERC Advanced Grant for Joost-Pieter Katoen

The self-driving car will rely on it for its driving behaviour, the autonomous robot can’t do without. ‘Probabilistic’ computer programmes are getting more and more important in artificial intelligence. This type of software deals with many uncertainties and real-world data. Is it possible to verify correct operations, given this level of uncertainty? Joost-Pieter Katoen, Professor at the RWTH Aachen and the University of Twente, proposes a new approach, and he receives an Advanced Grant of the European Research Council (ERC) for this.

Further information.

March 22, 2018

Roeland Krak wins the ENIAC Best Thesis Award 2017!

22 March 2018, Roeland Krak has received the ENIAC Thesis Prize for the college year 2016-2017. Associated is € 500,- prize money, as well as a work of art in the price range of € 150 to € 200. All nominees have also received the book Start with Why.


November 21, 2017

Award for Lifetime Achievements for professor Mehmet Aksit

During the SDPS conference in Birmingham, USA in the beginning of November 2017, professor Mehmet Aksit of the Formal Methods and Tools group, has received an Award for lifetime achievements in Software Research, Technology Innovation or Engineering Education.


Further information.

July 28, 2017

VENI grant for Arnd Hartmanns: Verification of Cyber-Physical Systems

Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability
Dr. ir. Arnd Hartmanns, UT – Computer Science (EWI/CTIT/FMT)
Computers control our physical world: in self-driving cars, smart power grids, or manufacturing robots. We must verify that such systems work even when faced with unexpected and random events. This research will deliver practical mathematical verification methods which take advantage of the very randomness that challenges the control algorithms.

Further information.

July 17, 2017

Marieke Huisman tot hoogleraar benoemd