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
