Nettsider med emneord «programming»

Publisert 10. okt. 2022 08:23
Publisert 17. apr. 2019 14:04

Isabelle is a Tool (from Cambridge/Munich) for Proving Correctness of Cyber Physical Systems and More.

One example application is to prove safety of IoT systems.

Publisert 11. okt. 2022 11:30
portrettbilde av ung forsker
Publisert 2. nov. 2020 15:46

"Norway is an incredibly beautiful country for its particularly supportive education system."

bildet av sladana
Publisert 15. jan. 2021 17:03

"My research goal? Constraining cosmological and gravitational models and discovering the nature of dark energy". 

photo profile of young man with glasses
Publisert 7. des. 2022 10:21

"It is really cool to quantitatively describe things in the sky using physical theories developed on earth" - Cheng-Zong Ruan, new postdoc at ITA.

Publisert 17. aug. 2018 10:34
Publisert 3. nov. 2010 15:47
PhD student Ragnhild Aurlien. Photo: UiO
Publisert 5. mars 2020 12:32

"From early age I've always loved the stars, and Astrophysics has always been my favourite part of physics."

photo of young man standing in front of a Norwegian mountain landscape
Publisert 28. apr. 2021 16:07

"Living in Scandinavia was also a personal dream, since I have always admired the lifestyle and the well-being generally associated to these countries" - Davide Decataldo.

Publisert 26. mai 2011 21:50
portrait photo of a young man with glasses and beard
Publisert 6. des. 2021 13:15

"There is something really compelling to me about cosmology in general, that we are able to answer philosophical questions quantitatively" - Duncan Watts.

Publisert 3. nov. 2010 15:19
Publisert 1. aug. 2011 14:08
Publisert 1. feb. 2011 15:05
Publisert 26. mai 2011 21:50
Publisert 26. mai 2011 21:54
Publisert 1. aug. 2011 14:10
Publisert 7. jan. 2011 13:25