Verificatie van software Lezing

Voor volwassenen
Deze activiteit is helaas geëindigd,
bekijk de huidige agenda
Vier sprekers zetten in deze lezing uiteen welke opmerkelijke technieken er beschikbaar zijn om software werkelijk betrouw te maken, en wat er nog moet gebeuren om dat te bereiken.

Veiligheidskritische systemen – zoals 112 – raken soms onverwacht het spoor bijster. Er ligt een grote en fundamentele uitdaging hoe software te maken, zodanig dat fouten niet meer voorkomen en software altijd doet wat er van wordt verwacht.

Sprekers

Jan Bergstra, hoogleraar programmatuur en software-engineering, Universiteit van Amsterdam Welkom en introductie
Jan Friso Groote, hoogleraar en voorzitter Formal Systems Analysis Group, Mathematics and Computer Science, Technische Universiteit Eindhoven – Complexiteit vereist model checking
Marieke Huisman, hoogleraar Software Reliability, groepsleider Formal Methods and Tools, Universiteit Twente – Betrouwbare software voor iedereen
Mieke Massink, onderzoeker, Formal Methods and Tools Laboratory, Istituto di Scienza e Tecnologie dell’Informazione ‘A. Faedo’ (ISTI), Pisa, Italië – Simpel en toch complex: verificatie van grote zelf-organiserende systemen
Eelco Visser, hoogleraar Programmeertalen, Technische Universiteit Delft – Taalgebaseerde softwareveiligheid

Aanmelden

Aanmelden voor deze lezing is verplicht via de website

Datum

donderdag 31 oktober 2019 van 19:00 tot 21:00

Prijs

Gratis

Locatie

Trippenhuis Kloveniersburgwal 29 1011JV, Amsterdam Nederland

Contact

+31 (0)20 551 07 10