< Terug naar vorige paginaOnderzoeker Denis CarnierDisciplines:Programmeertalen en -technologieënAffiliatiesGedistribueerde en Veilige Software (DistriNet) (Afdeling)LidVanaf1 sep 2022 → HedenKU LeuvenProjecten1 - 1 of 1Semi-automatische verificatie voor het verbeteren van softwareveiligheidVanaf29 sep 2022 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....