Lektor Lars Birkedal (38 år) er nyudnævnt professor i “Trustworthing Computing” på IT–Universitetet i København. Her skal han forske i, hvordan man kan reducere antallet af fejl i computere og softwareprogrammer.

Softwarefejl koster hvert år Danmark milliarder af kroner. En af datalogiens største udfordringer er at sikre, at software i fremtiden er sikker og troværdig.

Siden 2000 har Lars Birkedal været ansat på IT–Universitetet i København. Han er forskningsgruppeleder for forskningsgruppen “programmering, logik og semantik” og har stået i spidsen for universitetets forskning i kontekstafhængig mobil kommunikation.

Lars Birkedal har en ph.d. fra Carnegie Mellon University i Pittsburgh, USA. Lars Birkedals forskning i matematiske modeller og logik til at analysere nøgleaspekter af it–systemer er netop kåret som årets bedste forskningsbidrag i 2007.