Ifi

From its-wiki.no

Jump to: navigation, search

Ifi

float
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)


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