Sociale medier skal bekæmpe pandemier
Sociale medier på internettet kan blive det hemmelige våben i et kommende varslingssystem, som skal bremse farlige verdensomspændende epidemier langt tidligere end det er muligt i dag. Lektor Peter Dolog fra fra Institut for...[mere]
Sapere Aude bevilling til ung talentfuld forsker
Radu Mardare fra Institut for Datalogi er blevet tildelt en millionbevilling til projektet Modular Markovian Logics for Analysis of Stochastic Concurrent Systems. Bevillingen er tildelt i regi af Det Frie...[mere]
23-årig studerende koder ny formel-editor til LibreOffice 3.3
Studerende Jonas Finnemann Jensen fra Institut for Datalogi har programmeret en ny, visuel formel-editor til den netop lancerede kontorpakke LibreOffice 3.3 Se hele historien i version2[mere]
Institut for Datalogi samler ledende forskere
Fra den 26. januar og 3 dage frem samles nogle af Europas førende forskere inden for formel verifikation af objekt orienteret software på Cassiopeia, Institut for Datalogi. Her vil de fremlægge deres nyeste forskningsresultater...[mere]
PhD.-defense by Morten Kühnrich
In partial fulfillment of the terms for obtaining the Ph.D.-degree, Morten Kühnrich will give a lecture on the following subject: “Approaches to Formal Verification: Type Theory, Model Checking, and Process Algebra” on...[mere]
It-samarbejde giver fartforbedring og dobbelt forskergrad.
Et usædvanligt samarbejde mellem it-virksomheden Targit og Center for Data Intensive Systemer (Daisy) på Institut for Datalogi har skabt bemærkelsesværdig resultater på flere fronter: lynhurtig software og en dobbelt forskergrad...[mere]
Forskere faciliterer trafikoptimering
Forskere fra Institut for Datalogi samarbejder med virksomheden BeKTra omkring trafikoptimering af den behovsstyrede trafik. Behovsstyret trafik dækker over den trafik, der hver dag finder sted, når de af kommunens borgere, der...[mere]