Aktuelle saker

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

 

Publisert Aug. 15, 2017 7:01 PM
Publisert 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.

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

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

Publisert 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!

Link to apply: official upload page with more info and instructions where to upload the application

Publisert 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!

See:  official central announcement with more info and instructions where to upload the application

Publisert 14. des. 2015 15:16

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

Publisert Aug. 12, 2015 11:08 AM
Publisert 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.

Publisert 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!

Publisert 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!

Publisert Mar. 16, 2015 7:59 AM

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

Publisert 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!

Details about the topics of the positions and details of how to apply can be found here and here.

Publisert Jan. 13, 2015 8:16 AM

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

Details about the topic of the position and details of how to apply can be found here and here.

Publisert 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!

Publisert 21. aug. 2014 00:46

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.

The Fields Medal is given to young researchers under age 40, as opposed to the Abel Prize which is given to long life careers, usually to aged researchers.

 Read more at ICM2014.

Publisert Aug. 21, 2014 12:46 AM

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.

The Fields Medal is given to young researchers under age 40, as opposed to the Abel Prize which is given to long life careers, usually to aged researchers.

 Read more at ICM2014.

Publisert June 26, 2014 4:24 PM

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!

Publisert June 6, 2014 2:20 PM

 

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.

Publisert May 28, 2014 4:19 PM

Final step of the PhD process for Crystal Chang Din, the trial lecture and the public defense of her thesis, 27. May 2014. Congratulations!

Publisert May 23, 2014 9:23 AM

Members of our group have been cooperating with AnaCon, an Oslo-based company specializing in signalling systems, for instance used in railroads. Anacon is offering a summer job, and is looking for students with background in math/logic/formal methods. Further info can be found here.

Publisert May 7, 2014 5:55 PM

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!

Publisert 19. mars 2014 22:43

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.

Publisert Mar. 19, 2014 10:41 PM

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.