Formal Methods and Tools
In the Formal Methods and Tools (FMT) research group, formal techniques and tools are developed and used as a means to support the development of software. This includes the development of formal theories of concurrency, design methodologies for distributed systems, and correctness assessment using verification or validation techniques. The group is also concerned with the development of traditional tools such as compilers and interpreters. In both research and courses much attention is paid to the applicability of formal methods.
Upcoming Events (for recurrent events only next 7 days are shown)
|Tuesday, 12:30, HB 2D||Cancelled: Lunch colloqium: Cancelled: Title to be announced; Reason: CTiT Symposium|
Press Releases and Media Coverage
|Jul 21, 2016|
|Jul 20, 2016|
|Jul 14, 2016|
|Sep 07, 2016|
Vincent Bloemen wins Best MSc Thesis Award
During the opening of the academic year, Vincent received the award for the best master's thesis written at the faculty of Mathematics, Computer Science and Mathematics.
|Jul 15, 2016|
Alfons Laarman receives VENI grant
Alfons Laarman received a VENI grant from NWO for his research on parallel algorithms for depth-first graph traversal. His project belongs to 15% selected projects, and it is one out of 12 awarded projects in 'Physical Sciences'. From the NWO site:
Parallelism in depth
|Apr 06, 2016|
Marielle Stoelinga and Marcus Gerhold win best paper award at ETAPS 2016
During the Euopean Joint Conferences on Theory and Practice and Software 2016 (ETAPS'16) in Eindhoven Mariëlle Stoelinga and Marcus Gerhold win the EASST best paper for their paper titled 'Model-Based Testing of Probabilistic Systems'.
Their work describes the testing process of systems that make use of probability and how to check whether or not they were implemented correctly.
(note: 'latest' refers to the date of addition to the EPrints publication database, not to the date of publication.)