Ifi
From Basic Internet Foundation Wiki
Ifi

| Web: | http://ifi.uio.no |
|---|---|
| Keywords: | Informatics, Education |
this page was created by Form:Partner, and can be edited by Special:FormEdit/Partner/Ifi
Ifi leads:
- D0.10 (Title: Scientific Paper #7)
- D0.4 (Title: Scientific Paper #1)
- D0.8 (Title: Scientific Paper #5)
- D1.1.1 (Title: Semantic Description of Infrastructure)
- D1.1.2 (Title: Semantic Description of Infrastructure (final))
- D2.3.1 (Title: Semantic Provability Framework (draft))
- D2.3.2 (Title: Semantic Provability Framework (final))
- D2.3.3 (Title: Semantic Provability applied to Smart Grids)
- T1.1 (Title: Semantic description of infrastructure, attack detection, system view)
- T2.3 (Title: Formal technologies for semantic provability)
Members from Ifi
| Ali | |
| Ali Zaher | |
| Alina | |
| Alina Lapina | |
| Anders | |
| Anders Gaustad | |
| Animut D. | |
| Animut D. Tsegaye | |
| Arild |
|
| Arild Waaler | |
| Bjørn | |
| Bjørn Olufsen | |
| Christian | |
| Christian Resell | |
| Christoffer Ramsvig | |
| Christoffer Ramsvig Thambirajah | |
| Dmitry | |
| Dmitry Filosofov | |
| Eivind | |
| Eivind Engesæter | |
| Farzane | |
| Farzane Karami | |
| Frank | |
| Frank Eliassen | |
| Geir | |
| Geir Horn | |
| Gisle | |
| Gisle Hannemyr | |
| Hamed |
|
| Hamed Arshad | |
| Hanne Cecilie | |
| Hanne Cecilie Geirbo | |
| Hans Jørgen | |
| Hans Jørgen Furre Nygårdshaug | |
| Jens Johan | |
| Jens Johan Kaasbøll | |
| Joakim | |
| Joakim Amundsen | |
| Joar | |
| Joar Oldernes | |
| Jon | |
| Jon Ramvi | |
| José María | |
| José Moreno Retamero | |
| Kazi Afroza | |
| Kazi Afroza Sultana | |
| Kim Jonatan Wessel | |
| Kim Jonatan Wessel Bjørneset | |
| Kirsti |
|
| Kirsti Dalseth | |
| Krister | |
| Krister Borge | |
| Linn Eirin | |
| Linn Eirin Paulsen | |
| Mari Helén | |
| Mari Helén Varøy | |
| Martin |
|
| Martin Giese | |
| Martin | |
| Martin Rødvand | |
| Mathias | |
| Mathias Utgård | |
| May Helen | |
| May Helen Varøy | |
| Mikhail | |
| Mikhail Yakubovich | |
| Morten |
|
| Morten Dæhlen | |
| Muhammad Qammar | |
| Muhammad Qammar Shehzad | |
| Nasir | |
| Nasir Abbas | |
| Nika | |
| Nika Vibliani | |
| Olaf |
|
| Olaf Owe | |
| Ratish | |
| Ratish Mohan | |
| Roar | |
| Roar Fjellheim | |
| Rozina | |
| Rozina Dongol | |
| Sabita | |
| Sabita Maharjan | |
| Shahzad Ali | |
| Shahzad Ali Khan | |
| Shilian | |
| Shilian Zhang | |
| Shukun | |
| Shukun Tokas | |
| Simen | |
| Simen Hammerseth | |
| Slobodan | |
| Slobodan Olujic | |
| Stephen | |
| Stephen Kimogol | |
| Sverre | |
| Sverre Holm | |
| Swati | |
| Swati Sharma | |
The institute for Informatics (Ifi) at the University of Oslo (UiO). For more information, please visit [1]
Ifi leads
- D0.10 (Title: Scientific Paper #7)
- D0.4 (Title: Scientific Paper #1)
- D0.8 (Title: Scientific Paper #5)
- D1.1.1 (Title: Semantic Description of Infrastructure)
- D1.1.2 (Title: Semantic Description of Infrastructure (final))
- D2.3.1 (Title: Semantic Provability Framework (draft))
- D2.3.2 (Title: Semantic Provability Framework (final))
- D2.3.3 (Title: Semantic Provability applied to Smart Grids)
- T1.1 (Title: Semantic description of infrastructure, attack detection, system view)
- T2.3 (Title: Formal technologies for semantic provability)
Ifi is involved in the following activities





