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)
|Wednesday, 12:30, HB 2F||Lunch colloqium: Joost-Pieter Katoen: Probabilistic Programming: Fun, but Intricate|
Press Releases and Media Coverage
|Dec 10, 2015|
|Oct 09, 2015|
Article mentioning our Nature Nano paper in Gizmag: "Designless" brain-like chips created through artificial evolution. [in English]
|Oct 08, 2015|
Article mentioning news and views on the achievements of our publication in Nature Nanotechnology: Computing: Naturally random. [in English]
|Nov 24, 2015|
Koen Degeling wins student presentation award on joint work with Stefano Schivo
Koen Degeling (student in BMS) wins the "Best Student Podium Presentation Award" for his presentation at ISPOR (9 november 2015, Milan, Italy), the 18th Annual European Congress of the International Society for Pharmacoeconomics and Outcomes Research. The presentation was based on joint work, leading to the abstract "Comparison of Timed Automata with Discrete Event Simulation for modeling personalized treatment decisions: The case of metastatic castration resistant prostate cancer", Koen Degeling, Hendrik Koffijberg, Stefano Schivo, Rom Langerak, and Maarten J. IJzerman.
|Nov 02, 2015|
Marieke Huisman together with Anton Wijs (TUE), Alexandru Iosup (TUD) and Ana Lucia Varbanescu (VU/TUD) received 3TU.NIRICT funding for reconnaissance topic on performance and correctness of GPGPU
NIRICT reconnaissance topic is aiming to enhance collaboration of the three universities of technology in NIRICT research themes, with a focus highly based on national and international ICT programs, such as the ICT Roadmap for the Topsectors and Horizon2020.
The kick-off meeting for this reconnaissance topic will be held on December 3, 2015 in Utrecht.
|Oct 13, 2015|
Marieke Huisman nominated for VIVA 400-award
Marieke Huisman has been nominated for the yearly VIVA 400-award in the category 'Knappe Koppen' (clever people), because she received the Prof. de Winterprize, and a NWO TOP grant. For the full list, see http://www.viva400.nl/, where you also can vote (until November 4, 2015).
(note: 'latest' refers to the date of addition to the EPrints publication database, not to the date of publication.)