Programming (PROG)

Postal address Postboks 1080, 0316 Oslo
Visiting address Gaustadalléen 23B
0373 Oslo
Org. Unit ID 150525


The list contains 51 staff members.
Name Phone E-mail Tags
Akkøk, Mehmet Naci Associate Professor
Antonsen, Roger Associate Professor +47 22852482 +4797588742 (mob) Logic, Proof Theory, Automated Reasoning, Proof Search, Modal Logic, First-Order Logic, Complexity Theory, Automata, Cellulære automater, Generative Art, Algorithms, Algorithmic Art, Mathematical Art, Netlogo, Processing, Philosophy, Philosophy of Mathematics, Outreach, Science Communication
Arshad, Hamed Doctoral Research Fellow security protocols, access control, authentication, cryptography, network security, formal methods, model checking, key agreement, privacy, security
Axelsen, Eyvind Wærsted Associate Professor
Bakkelund, Daniel Doctoral Research Fellow
Bergersen, Gunnar Rye Associate Professor ability, expertise, programming, skill, measurement, knowledge
Berntzen, Marthe Nordengen Doctoral Research Fellow agile software development, agile methods
Berre, Arne-Jørgen Associate Professor
Dimitrakakis, Christos Professor reinforcement learning, machine learning, differential privacy, fairness, decision making under uncertainty, artificial intelligence, adversarial machine learning, Bayesian inference, autonomous vehicles, recommendation systems
Fava, Daniel Schnetzer Doctoral Research Fellow
Ferreira, Paulo Professor +47 22852876
Florea, Raluca-Madalina Doctoral Research Fellow
Forssell, Jon Henrik Associate Professor +47 22852781
Giese, Martin Professor +47 22852737 first order logic, proof search, semantic web, logic, automated reasoning, big data
Gjelsten, Børge Kile Researcher +47 22855057
Horn, Geir Senior Adviser +47 22840954 +47 93059335 (mob)
Horrocks, Ian Professor II
Jensen, Siri Annethe Moe Lecturer +47 22840884
Johansen, Johanna Doctoral Research Fellow usable privacy, privacy patterns, online security and privacy seals (OSPS), visual representation of privacy, personal data regulations, Human-Computer Interaction, Internet of Things (IoT), abusive applications, General Data Protection Regulation (GDPR), personal data use and misuse.
Johnsen, Einar Broch Professor +47 22852509
Jul, Eric Bartley Professor +47 22840853 +4540251650 (mob)
Jørgensen, Magne Professor II +47 92433355 +47 92433355 (mob)
Kamalian, Mahdieh Doctoral Research Fellow
Karabeg, Dino Associate Professor +47 22852702 +4741292049 (mob) Russia, Global South
Karami, Farzane Doctoral Research Fellow
Karlsen, Leif Harald Senior Lecturer
Kristiansen, Lars Professor +47 22855897 +4792210527 (mob) +47 922 10 527 Mathematical Logic, Computability Theory, Complexity Theory, Computable Analysis
Lindsjørn, Yngve Senior Lecturer +47 22840856 +47 91549138 (mob)
Løvold, Henrik Hillestad Lecturer +47 22852437 +47 47810167
Martini, Antonio Associate Professor +47 28840853
Mavroeidis, Vasileios Doctoral Research Fellow
Mumtaz, Summaya Doctoral Research Fellow
Owe, Olaf Professor +47 22852449 semantics, object-orientation, formal methods, concurrency, computer science, verification, programming languages
Ramezanifarkhani, Toktam Postdoctoral Fellow +47 22840137 Information Technology, Information Security, Software and Programming Languages, Security Management, network security
Roman, Dumitru Associate Professor
Runde, Ragnhild Kobro Associate Professor +47 22840144
Shturmov, Oleks Doctoral Research Fellow
Sjøberg, Dag Professor +47 22840109 +47 92604578 (mob)
Soares De Toledo, Saulo Doctoral Research Fellow Technical Debt, Architectural Technical Debt, Software Architecture, Microservices, Senior Developer, Programmer
Steffen, Martin Professor +47 22850417 static analysis, program analysis, formal methods, PMA, concurrency, type systems, compositionality, programming language theory, verification, static analysis, compiler construction, model checking, object-orientation, verification, security, semantics, computer science
Stolz, Volker Associate Professor +47 22852438 formal methods, model transformation, UML
Storleer, Stein Michael Lecturer +47 22840194 +47 99163232 (mob)
Stray, Viktoria Associate Professor +47 22840107 +47 93610848 (mob) informatics, digitalization, programming and network, software engineering, empirical methods, agile methods, software practices, teamwork, lean, scrum, kanban, software testing
Stølen, Ketil Professor II
Tapia Tarifa, Silvia Lizeth Researcher +47 22852763 formal methods, programming language theory, model-based predictions, parallel data access, cloud computing, parallel systems, distributed systems, object-orientation, modeling, deployment
Tavakolisomeh, Sanaz Doctoral Research Fellow
Tokas, Shukun Doctoral Research Fellow
Turin, Gianluca Doctoral Research Fellow
Vihovde, Eva Hadler Senior Lecturer
Yu, Ingrid Chieh Associate Professor +47 22845525
Ølveczky, Peter Csaba Professor +47 22852498