Ole Johan Dahls hus (map)
Gaustadalléen 23 B
"In 2017, bugs banned people from Twitter, secretly recorded them in their homes, and even caused a train crash. Is there anything they can’t do?"
The presentation by Daniel Fava at the Doctoral Symposium of the 13th International integrated Formal Methods (iFM 2017) won the award for the symposium's best presentation (shared with a second winner). The presentation covers joint work with Martin Steffen, Volker Stolz, and Stian Valle, about ``An Operational Semantics for a Weak Memory Model with Buffered Writes, Message Passing, and Goroutines''.
The work of Bjørnar Luteberget, Christian Johansen, and Martin Steffen (from PMA and ConSeRNS groups at IFI) won the Best Paper Award at the 12th International Conference on Integrated Formal Methods, which was held in Iceland in June.
Whitfield Diffie and Martin Hellman receive the Turing Award for 2015 with the citation: "Diffie and Hellman’s groundbreaking 1976 paper, “New Directions in Cryptography,” introduced the ideas of public-key cryptography and digital signatures, which are the foundation for most regularly-used security protocols on the Internet today. The Diffie-Hellman Protocol protects daily Internet communications and trillions of dollars in financial transactions." Read more at ACM.
2 Ph.D positions in the group of ``Precise modelling and analysis'' (PMA) announced.
A detailed description for the 2 positions is found under.
Application deadline: 15 April!
Link to apply: official upload page with more info and instructions where to upload the application
There are three Ph.D positions in the area of formal methods for analyzing security properties in concurrent and distributed programs.
One Ph.D position is connected to the ConSeRNS initiative, targeting research challenges in security and robustness of ICT infrastructures.
The second Ph.D position is connected to the IoTSec project, targeting security in Internet-of-Things (IoT) for Smart Grids. Both positions have application deadline January 31st 2016.
A third PhD is targeting security in Internet-of-Things (IoT) for Smart Grids, being an Industrial PhD position, also connected to the IoTSec project. More information on the IoTSec positions is available at http://IoTSec.no/phd<http://iotsec.no/phd>
Application deadline: 31 January!
See: official central announcement with more info and instructions where to upload the application
In a special session at FM2015, the 20th International Conference on Formal Methods, the first FME fellowship was awared. The first FME fellow is Cliff Jones.
Final step of the Ph.D process for Lucian Bentea, the trial lecture and the public defense of his thesis, 12. June 2015. Congratulations!
Final step of the Ph.D process for Daniela Lepri, the trial lecture and the public defense of her thesis, 13. April 2015. Congratulations!
Research within the Horizon 2020 project HyVar has been covered in Uniforum
Final step of the PhD process for Muhammad Fadlisyah, the trial lecture and the public defense of his thesis, 8. September 2014. Congratulations!
The first female mathematician to receive the prestigious Fields Medal is Maryam Mirzakhani from Stanford University. Mirzakhani said: "I will be happy if it encourages young female scientists and mathematicians. I am sure there will be many more women winning this kind of award in coming years." Mirzakhani was born and raised in Tehran, where as a young girl she dreamed of becoming a writer. By high school, however, her affinity for solving mathematical problems and working on proofs had shifted her sights.
Read more at ICM2014.
Final step of the PhD process for Violet Ka I Pun, the trial lecture and the public defense of her thesis, 26. June 2014. Congratulations!
Here's a link to a shot of the (kind of) first oo program, from an NR technical report from 1965.
Thanks for Amund Tveit (and Rudi Schlatte and Olaf Owe) for digging that up.
Final step of the PhD process for Crystal Chang Din, the trial lecture and the public defense of her thesis, 27. May 2014. Congratulations!
Final step of the PhD process for Silvia Lizeth Tapia Tarifa, the trial lecture and the public defense of her thesis, 7. May 2014. Congratulations!
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.