Nettsider med emneord «Programming»
![photo profile of young man with glasses](https://www.mn.uio.no/astro/english/research/news-and-events/new-people/2022/images/cheng-zongruan.jpg?alt=listing)
"It is really cool to quantitatively describe things in the sky using physical theories developed on earth" - Cheng-Zong Ruan, new postdoc at ITA.
![portrait photo of a young man with glasses and beard](https://www.mn.uio.no/astro/english/research/news-and-events/new-people/2021/images/duncan-watts_hr.jpg?alt=listing)
"There is something really compelling to me about cosmology in general, that we are able to answer philosophical questions quantitatively" - Duncan Watts.
![photo of young man standing in front of a Norwegian mountain landscape](https://www.mn.uio.no/astro/english/research/news-and-events/new-people/2021/images/davide_mountain.jpg?alt=listing)
"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.
![bildet av sladana](https://www.mn.uio.no/astro/english/research/news-and-events/new-people/2021/images/sladana-radinovic_ita_uio.jpg?alt=listing)
"My research goal? Constraining cosmological and gravitational models and discovering the nature of dark energy".
![portrettbilde av ung forsker](https://www.mn.uio.no/astro/english/research/news-and-events/new-people/2020/images/daniher_small.jpg?alt=listing)
"Norway is an incredibly beautiful country for its particularly supportive education system."
![PhD student Ragnhild Aurlien. Photo: UiO](https://www.mn.uio.no/astro/english/research/news-and-events/new-people/2019/images/ragnhildaurlien_hr.jpg?alt=listing)
"From early age I've always loved the stars, and Astrophysics has always been my favourite part of physics."
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.