Anders Moen Hagalisletto tok doktorgrad ved PMA i 2007 der han utviklet et analyse verktøy PROSA for sikkerhetsprotokoller, baset på Maude. PROSA har nå blitt til et eget selskap
Aktuelle saker
The first female mathematician to receive the prestigious Fields Medal is Maryam Mirzakhani from Stanford University.
Leslie Lamport receives the Turing Award for 2013 with the citation: "For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency." Read more at ACM.
MIKAL VILLA talks about "Bitcoin: how it works in depth"
Thursday the 16th Jan. from 14:00 in Awk room (nr. 3118) of OJD House.
The Abel Prize in mathematics is given this year to Endre Szemeredi, a Hungarian mathematician, who worked among others in the fields of combinatorics and theoretical computer science.
TURING CENTENARY FILM SERIES is part of the Turing Year, celebrating 100 years from the birth of Alan Turing.
We will be viewing films related to the work and life of Alan Turing for the next two months, each Friday, up until end of June.
We are happy if more people join in celebrating Alan Turing.
The hour of start is 17:00. The place is the IFI Library.
Alexander Meduna is visiting IFI from the Brno University of Technology and will give a talk on recent developments in pushdown automata. His interests span various fields of theoretical computer science, among others: graph theory, automata, formal languages, or compilers (with books written and edited on such topics).
His talk anounces as interesting, and adjacent discussions are welcome.
This special talk is in the Kristen Nygaard room at the 5th floor, from 13:15 on the Thursday of 10.
IT-forskningen ved Universitetet i Oslo kommer på førsteplass i Norden, sjetteplass i Europa og på 49.-plass i verden på den prestisjetunge rankinglista til Shanghai Jiao Tong-universitetet i Kina.