Søg
Close this search box.

Verifikation og softwareudvikling

Den øgede digitalisering gør vores samfund sårbart over for fejl og angreb på it-systemer. Det er derfor yderst vigtigt med stærke softwareudviklingsmetoder og effektive verifikationsværktøjer for at imødegå disse trusler.

Workstreamleder

Aalborg University
Department of Computer Science

E: kgl@cs.aau.dk
T: +45 99 40 88 93

Tilknyttede personer

Danmarks Tekniske Universitet
Institut for Matematik og Computer Science

IT-Universitetet i København
Institut for Datalogi

Københavns Universitet
Datalogisk Institut

Syddansk Universitet
Institut for Matematik og Datalogi

Copenhagen Business School
Institut for Digitalisering

Aarhus University
Department of Computer Science

Hugo Andrés López

Associate Professor

Technical University of Denmark
DTU Compute

Andrey Rivkin

Assistant Professor

Tecnical University of Denmark
DTU Compute