Programming (PROG)

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


The list contains 54 staff members.
Name Phone E-mail Tags
Akkøk, Mehmet Naci Associate Professor
Antonsen, Roger Associate Professor +47 22852482 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
Baramashetru, Chinmayi Prabhu Prasad 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
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 distributed systems, programming of mobile devices, concurrency / parallelism / replication, software security, algorithms for garbage collection, software adaptability.
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 Adjunct Professor
Jensen, Siri Annethe Moe Lecturer +47 22840884
Johansen, Christian Associate Professor +47 22850481
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) +4540251650
Jørgensen, Magne Adjunct Professor +47 92433355 +47 92433355 (mob)
Kamalian, Mahdieh Doctoral Research Fellow edge & fog computing, programming of mobile devices, software engineering
Karabeg, Dino Associate Professor +47 22852702 +4741292049 (mob) Russia, Global South
Karami, Farzane Doctoral Research Fellow
Karlsen, Leif Harald Senior Lecturer
Kostylev, Egor Associate Professor +447786682058
Kristiansen, Lars Professor +4792210527 (mob) +47 922 10 527 Mathematical Logic, Computability Theory, Complexity Theory, Computable Analysis
Langslet, Gløer Olav Doctoral Research Fellow
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 Researcher Security, Cybersecurity, Sikkerhet, Cybersikkerhet, Information Security
Mumtaz, Summaya Doctoral Research Fellow
Nikolov, Nikolay
Owe, Olaf Professor +47 22852449 semantics, object-orientation, formal methods, concurrency, privacy, information security, language-based security, 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 semantics, programming language theory, static analysis, verification, compiler construction, object-orientation, formal methods, concurrency, computer science, verification, PMA, program analysis, static analysis, compositionality, security, model checking, type systems
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 +47 96693997
Turin, Gianluca Doctoral Research Fellow
Vihovde, Eva Hadler Senior Lecturer
Yu, Ingrid Chieh Associate Professor +47 22845525
Ølveczky, Peter Csaba Professor +47 22852498