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.
Professor
Aalborg University
Department of Computer Science
E: kgl@cs.aau.dk
T: +45 99 40 88 93
Lektor
Danmarks Tekniske Universitet
Institut for Matematik og Computer Science
Professor
IT-Universitetet i København
Institut for Datalogi
Professor
Københavns Universitet
Datalogisk Institut
Professor
Syddansk Universitet
Institut for Matematik og Datalogi
Lektor
Copenhagen Business School
Institut for Digitalisering
Professor
Aarhus University
Department of Computer Science
Associate Professor
Technical University of Denmark
DTU Compute
Assistant Professor
Tecnical University of Denmark
DTU Compute
