Akkøk, Mehmet Naci
Førsteamanuensis
|
+47 47026879
|
nacia@ifi.uio.no
|
|
Antonsen, Roger
Førsteamanuensis
|
+47 22852482
|
rantonse@ifi.uio.no
|
Logikk,
Bevisteori,
Automatisk resonnering,
Bevissøk,
Modallogikk,
Førsteordens logikk,
Kompleksitetsteori,
Automater,
Cellulære automater,
Generativ kunst,
Algoritmer,
Algoritmisk kunst,
Matematisk kunst,
Netlogo,
Processing,
Filosofi,
Matematikkfilosofi,
Formidling,
Vitenskapsformidling
|
Arshad, Hamed
Stipendiat
|
|
hamedar@ifi.uio.no
|
security protocols,
access control,
authentication,
formal methods,
sikkerhet,
adgangskontroll,
formelle metoder,
autentisering
|
Axelsen, Eyvind Wærsted
Førsteamanuensis
|
|
eyvinda@ifi.uio.no
|
|
Bakkelund, Daniel
Stipendiat
|
|
danielry@ifi.uio.no
|
|
Baramashetru, Chinmayi
Stipendiat
|
|
cpbarama@ifi.uio.no
|
|
Bergersen, Gunnar Rye
Førsteamanuensis
|
90721202
|
gunnab@ifi.uio.no
|
|
Berntzen, Marthe Nordengen
Stipendiat
|
|
marthenb@ifi.uio.no
|
smidige praksiser,
smidige metoder,
smidig
|
Cutts, Quintin
Professor II
|
|
quintinc@ifi.uio.no
|
|
Dimitrakakis, Christos
Professor
|
|
chridim@ifi.uio.no
|
maskinlæring,
reinforcement learning,
differential privacy,
Kunstig intelligens,
personvern
|
Fava, Daniel Schnetzer
Stipendiat
|
|
danielsf@ifi.uio.no
|
|
Ferreira, Paulo
Professor
|
+47 22852876
|
paulofe@ifi.uio.no
|
|
Florea, Raluca-Madalina
Stipendiat
|
|
ralucamf@ifi.uio.no
|
|
Forssell, Jon Henrik
Førsteamanuensis
|
+47 22852781
|
jonf@ifi.uio.no
|
|
George, Anne-Marie
Postdoktor
|
|
annemage@ifi.uio.no
|
|
Giese, Martin
Professor
|
+47 22852737
|
martingi@ifi.uio.no
|
Automatisk resonnering,
Semantic web,
Bevissøk,
Logikk,
Big data,
Førsteordens logikk
|
Gjelsten, Børge Kile
Forsker
|
+47 22855057
|
borgeg@ifi.uio.no
|
|
Horn, Geir
Seniorrådgiver
|
+47 22840954
+47 93059335 (mob)
|
geir.horn@mn.uio.no
|
|
Horrocks, Ian
Professor II
|
|
ianhorr@ifi.uio.no
|
|
Jensen, Siri Annethe Moe
Universitetslektor
|
+47 22840884
|
siriamj@ifi.uio.no
|
|
Johansen, Christian
Førsteamanuensis
|
+47 22850481
|
cristi@ifi.uio.no
|
|
Johansen, Johanna
Stipendiat
|
|
jjohanna@ifi.uio.no
|
|
Johnsen, Einar Broch
Professor
|
+47 22852509
|
einarj@ifi.uio.no
|
informatikk,
programmering og nettverk,
logikk,
sikkerhet,
teoretisk databehandling,
kvalitetssikring av programvaresystemer,
software engineering,
modellering av programvaresystemer,
analyse av programvaresystemer,
formelle metoder,
objekt-orientering,
parallelle og distribuerte systemer,
Programmeringsspråk
|
Jul, Eric Bartley
Professor
|
+47 22840853
+4540251650 (mob)
|
ericbj@ifi.uio.no
|
Programmering,
Programmeringsspråk,
programming languages,
object-orientation,
distribuerte systemer,
cloud computing,
Design Patterns,
security
|
Jørgensen, Magne
Professor II
|
+47 92433355
+47 92433355 (mob)
|
magnej@ifi.uio.no
|
|
Kamalian, Mahdieh
Stipendiat
|
|
mahdiehk@ifi.uio.no
|
|
Karabeg, Dino
Førsteamanuensis
|
+47 22852702
+4741292049 (mob)
|
dino@ifi.uio.no
|
knowledge federation,
polyscopy,
systemic innovation
|
Karami, Farzane
Stipendiat
|
|
farzanka@ifi.uio.no
|
|
Karlsen, Leif Harald
Førstelektor
|
|
leifhka@ifi.uio.no
|
|
Kleine Büning, Thomas
Stipendiat
|
|
thomkl@ifi.uio.no
|
|
Kostylev, Egor
Førsteamanuensis
|
+447786682058
|
egork@ifi.uio.no
|
|
Kristiansen, Lars
Professor
|
+4792210527 (mob)
+47 922 10 527
|
larsk@math.uio.no
|
matematisk logikk,
beregnbarhetsteori,
kompleksitetsteori,
beregnbar analyse
|
Langslet, Gløer Olav
Stipendiat
|
|
gloerl@ifi.uio.no
|
|
Lindsjørn, Yngve
Førstelektor
|
+47 22840856
+47 91549138 (mob)
|
ynglin@ifi.uio.no
|
|
Løvold, Henrik Hillestad
Universitetslektor
|
+47 22852437
+47 47810167
|
henrihlo@ifi.uio.no
|
|
Martini, Antonio
Førsteamanuensis
|
+47 93263619
|
antonima@ifi.uio.no
|
|
Mavroeidis, Vasileios
Forsker
|
|
vasileim@ifi.uio.no
|
|
Mumtaz, Summaya
Stipendiat
|
|
summayam@ifi.uio.no
|
|
Munthe-Kaas, Ellen
Førsteamanuensis
|
+47 22852801
41598942
|
ellenmk@ifi.uio.no
|
|
Nikolov, Nikolay
|
|
nikoln@ifi.uio.no
|
|
Owe, Olaf
Professor
|
+47 22852449
|
olaf@ifi.uio.no
|
informatikk,
programmering og nettverk,
logikk,
sikkerhet,
teoretisk databehandling,
kvalitetssikring av programvaresystemer,
software engineering,
modellering av programvaresystemer,
analyse av programvaresystemer,
formelle metoder,
objekt-orientering,
parallelle og distribuerte systemer,
Programmeringsspråk
|
Ramezanifarkhani, Toktam
Postdoktor
|
+47 22840137
|
toktamr@ifi.uio.no
|
Information Security,
Programming Languages,
Security Management
|
Roman, Dumitru
Førsteamanuensis
|
|
dumitrur@ifi.uio.no
|
|
Runde, Ragnhild Kobro
Førsteamanuensis
|
+47 22840144
+47-94436221
|
ragnhilk@ifi.uio.no
|
|
Segal, Meirav
Stipendiat
|
|
meiravs@student.matnat.uio.no
|
|
Shturmov, Oleks
Stipendiat
|
|
olekss@ifi.uio.no
|
|
Sjøberg, Dag
Professor
|
+47 22840109
+47 92604578 (mob)
|
dagsj@ifi.uio.no
|
Software engineering,
systemutvikling,
IT-systemer,
programmering,
programvarekvalitet,
utviklingsprosesser,
prosessforbedring,
smidige metoder,
Lean,
endringshåndtering,
forskningsmetoder,
eksperimenter,
samfunnsnytte,
industrirelevans,
offentlige IT-prosjekter,
IT-skandaler,
IT-kompetanse,
programmeringskompetanse
|
Soares De Toledo, Saulo
Stipendiat
|
|
saulos@ifi.uio.no
|
Teknisk Gjeld,
Arkitektonisk Teknisk Gjeld,
Programarkitektur,
Microservices,
Senior Utvikler,
Programmerer
|
Steffen, Martin
Professor
|
+47 22850417
|
msteffen@ifi.uio.no
|
|
Stolz, Volker
Førsteamanuensis
|
+47 22852438
|
stolz@ifi.uio.no
|
programming languages,
programmeringsspråk,
formal methods,
model transformation,
UML,
QVT,
Haskell,
FreeBSD,
object-orientation,
verification
|
Storleer, Stein Michael
Universitetslektor
|
+47 22840194
+47 99163232 (mob)
|
michael@ifi.uio.no
|
|
Stray, Viktoria
Associate Professor
|
+47-22840107
+47-93610848 (mob)
|
stray@ifi.uio.no
|
informatikk,
software engineering,
systemutvikling,
empirisk metodeforskning,
agile metoder,
smidige praksiser,
teamarbeid,
autonome team,
lean,
scrum,
kanban,
testing,
kvalitetssikring av programvaresystemer,
programmering og nettverk,
digitalisering,
smidig,
agile,
FinTech,
BizDev
|
Stølen, Ketil
Professor II
|
|
ketils@ifi.uio.no
|
|
Tapia Tarifa, Silvia Lizeth
Forsker
|
+47 22852763
|
sltarifa@ifi.uio.no
|
formal methods,
programming language theory,
model-based predictions,
parallel data access,
cloud computing,
parallel systems,
distributed systems,
object-orientation,
modeling,
deployment
|
Tavakolisomeh, Sanaz
Stipendiat
|
+47 96693997
|
sanazt@ifi.uio.no
|
|
Turin, Gianluca
Stipendiat
|
|
gianlutu@ifi.uio.no
|
|
Vihovde, Eva Hadler
Førstelektor
|
|
evahvi@ifi.uio.no
|
|
Yu, Ingrid Chieh
Førsteamanuensis
|
+47 22845525
|
ingridcy@ifi.uio.no
|
|
Ølveczky, Peter Csaba
Professor
|
+47 22852498
|
peterol@ifi.uio.no
|
|