Ifi

From its-wiki.no

Jump to: navigation, search

Ifi

float
Web: http://ifi.uio.no
Keywords: Informatics, Education
Projects:

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)


Participants from Ifi:
Ali Zaher.jpg Ali Zaher
e: alixxxxx@ifi.uio.no
p:
m:
Participants from Ifi:
Avatar.jpg Alina Lapina
e: alina@lapina.no
p:
m:
Participants from Ifi:
Avatar.jpg Animut D. Tsegaye
e: animutdt@gmail.com
p:
m:
Participants from Ifi:
Arild Waaler.jpg Arild Waaler
e: arild@ifi.uio.no
p:
m:
Participants from Ifi:
Avatar.jpg Bjørn Olufsen
e: bjorol@ifi.uio.no
p:
m:
Participants from Ifi:
Avatar.jpg Christian Resell
e: chrifres@ifi.uio.no
p:
m: +47-91181474
Participants from Ifi:
Avatar.jpg Eivind Engesæter
e: eivineng@ifi.uio.no
p:
m:
Participants from Ifi:
Avatar.jpg Gisle Hannemyr
e: gisle@ifi.uio.no
p:
m:
Participants from Ifi:
Avatar.jpg Hanne Cecilie Geirbo
e: hannege@ifi.uio.no
p: +47-2284-0842
m:
Participants from Ifi:
Avatar.jpg Hans Jørgen Furre Nygårdshaug
e: hans.nyg@gmail.com
p:
m:
Participants from Ifi:
Jon Ramvi.jpg Jon Ramvi
e: jon@ramvi.no
p:
m:
Participants from Ifi:
Avatar.jpg José María Moreno Retamero
e: notengomail@gmail.com
p:
m:
Participants from Ifi:
Avatar.jpg Kazi Afroza Sultana
e: kazias@student.matnat.uio.no
p:
m:
Participants from Ifi:
Kim Jonatan Wessel Bjørneset.jpg Kim Jonatan Wessel Bjørneset
e: kjbjorne@ifi.uio.no
p:
m:
Participants from Ifi:
Kirsti Dalseth.jpg Kirsti Dalseth
e: kirstid@ifi.uio.no
p:
m:
Participants from Ifi:
Avatar.jpg Krister Borge
e: kristebo@ifi.uio.no
p:
m: +47-9796-8672
Participants from Ifi:
Linn Eirin Paulsen.jpg Linn Eirin Paulsen
e: rocklinn@gmail.com
p:
m:
Participants from Ifi:
Avatar.jpg Maghsoud Morshedi
e: morshedi.m@gmail.com
p:
m:
Participants from Ifi:
Mari Helén Varøy.jpg Mari Helén Varøy
e: marihva@ifi.uio.no
p:
m:
Participants from Ifi:
Martin Giese.jpg Martin Giese
e: martingi@ifi.uio.no
p:
m:
Participants from Ifi:
Avatar.jpg Martin Rødvand
e: martin@rodvand.net
p:
m:
Participants from Ifi:
Avatar.jpg May Helen Varøy
e: may-helen.varoy@ifi.uio.no
p:
m:
Participants from Ifi:
Avatar.jpg Mikhail Yakubovich
e: mikhaiy@ulrik.uio.no
p:
m:
Participants from Ifi:
Morten Dæhlen.jpg Morten Dæhlen
e: mortend@ifi.uio.no
p:
m:
Participants from Ifi:
Avatar.jpg Muhammad Qammar Shehzad
e: shehzad.qamar@gmail.com
p:
m:
... further results

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