The final steps of the Ph.D process for Elahe Fazeldehkordi, the trial lecture and the public defense of her doctoral thesis, 16. March, 2021. Congratulations!
News
Shukun
16.3.2021 Disputation of Elahe Fazeldehkordi: Security and Privacy Solutions in IoT and Distributed Systems Design
19.2.2021 Disputation of Shukun Tokas: Analysis and Enforcement of GDPR-related Privacy Principles in Object-Oriented Distributed Systems
18.6.2020 Disputation of Antonio Burgueno: Formal Analysis for Security Ceremonies
The final steps of the Ph.D process for Shukun Tokas, the trial lecture and the public defense of her doctoral thesis, 19. February 2021. Congratulations!
The final steps of the Ph.D process for Antonio Burgueño, the trial lecture and the public defense of his doctoral thesis, 18. June 2020. Congratulations!
The final steps of the Ph.D process for Bjørnar Luteberget, the trial lecture and the public defense of his doctoral thesis, 18. October 2019. Congratulations!
The paper "Language-based mechanisms for Security-by-Design'' by Shukun Tokas, Olaf Owe, and Toktam Ramenzanifarkhani got the award for the "Best Paper" of the IFIP IFIP Summer School on Privacy and Identity Management.
The work of Bjørnar Luteberget, Koen Claessen (from Chalmers), and Christian Johansen (from PSY and ConSeRNS groups at IFI) won the Best Paper Award at the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD), which was held in Texas, USA, in November 2018.
Final step of the Ph.D process for Lars Vidar Magnusson, the trial lecture and the public defense of his doctoral thesis, 7. December 2018. Congratulations!
Final step of the Ph.D process for Dang Ha The Hien, the trial lecture and the public defense of his doctoral thesis, 23. November 2018. Congratulations!
Final step of the Ph.D process for Johanna Beate Stumpf, the trial lecture and the public defense of her doctoral thesis, 11. October 2018 (superivsed by ASR & PSY). Congratulations!
The Department of Informatics organizes and hosts the 30th Nordic Workshop on Programming Theory (NWPT'18), 24-26 October 2018. Submission deadline 1.September,.
See the conference's webpage http://nwpt2018.ifi.uio.no/ for further information
"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 RailCons project has partnered with the Oxford team behind the powerful incremental verification for datalog and semantic web reasoning tool RDFox lead by Professor Boris Motik.
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.
- Project 1: Analysis of non-functional properties in concurrent systems
Application deadline: 15 April!
The deadline has expired.
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!
The deadline has expired.
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!