Nettsider med emneord «programming»
"It is really cool to quantitatively describe things in the sky using physical theories developed on earth" - Cheng-Zong Ruan, new postdoc at ITA.
"Norway is an incredibly beautiful country for its particularly supportive education system."
"My research goal? Constraining cosmological and gravitational models and discovering the nature of dark energy".
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.
"There is something really compelling to me about cosmology in general, that we are able to answer philosophical questions quantitatively" - Duncan Watts.
"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.