News

Image may contain: Event, White-collar worker.
Published Oct. 22, 2019 12:36 PM

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!

Image may contain: text, font.
Published Aug. 26, 2019 7:13 AM

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.

 

Published Aug. 13, 2019 8:19 AM
Published Jan. 3, 2019 1:29 PM

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.

Published Dec. 17, 2018 11:13 AM

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!

Published Nov. 26, 2018 4:03 PM

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!

Published Oct. 31, 2018 10:00 AM

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!

Published Aug. 14, 2018 7:09 AM
Published June 1, 2018 3:49 PM

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

 

 

 

Published Jan. 13, 2018 4:10 PM

"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?"

Published Sep. 25, 2017 9:01 PM

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''.

 

Published Aug. 15, 2017 7:01 PM
Published Oct. 10, 2016 8:38 PM

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.

Published June 9, 2016 10:56 AM

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.

Published Apr. 3, 2016 1:52 PM

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.

Published Mar. 16, 2016 4:20 PM

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

- Project 2: Safety of agents

 

Application deadline: 15 April!

The deadline has expired.

Published Dec. 17, 2015 5:10 PM

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.

Published Aug. 12, 2015 11:08 AM
Published June 25, 2015 4:59 PM

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.

Published June 15, 2015 9:19 AM

Final step of the Ph.D process for Lucian Bentea, the trial lecture and the public defense of his thesis, 12. June 2015. Congratulations!

Published Apr. 16, 2015 9:56 AM

Final step of the Ph.D process for Daniela Lepri, the trial lecture and the public defense of her thesis, 13. April 2015. Congratulations!

Published Mar. 16, 2015 7:59 AM

Research within the Horizon 2020 project HyVar has been covered in Uniforum

Published Mar. 15, 2015 12:15 PM

2 Ph.D positions in the group of ``Precise modelling and analysis'' (PMA)  and the  ConSeRNS initiative available.

 

Application deadline: 13. April!

The deadline has expired.

Published Jan. 13, 2015 8:16 AM

Up-to 2  positions (PhD/Postdoc) in the group of "Precise modelling and analysis'' (PMA)  availabe.

The deadline has expired.

Published Sep. 8, 2014 3:54 PM

Final step of the PhD process for Muhammad Fadlisyah, the trial lecture and the public defense of his thesis, 8. September 2014. Congratulations!