Doctoral Degrees in informatics
Main content
Doctoral Degrees awarded at the Department of informatics, 1984 -
听
Doctoral degrees, 2025
PhD Kenneth Langedal, Graph Neural Networks in Algorithm Engineering
PhD Svein H酶gemo, Mapping Graphs to Trees
PhD听Amund Askeland, Explorations of Physical Attacks Against Embedded Systems and Their Defences
Doctoral degrees, 2024
PhD听 Jonathan Prieto-Cubides, Investigations into Graph-theoretical Constructions in Homotopy Type Theory
PhD听Elisabeth Stenholm, Material Set Theory in Homotopy Type Theory
PhD听Benjamin Chetioui, Towards Practical High-Quality Software
PhD听 Erlend Raa V氓gset, Optimal Parameterized Algorithms for Solving NP-Hard Problems in Topology
PhD听 Nicolas Costes, Exploiting Redundant Designs with Side-Channel Attacks
PhD听 Ermes Franch, Low-Rank Parity-Check Codes
PhD听 Issam Maarouf, Coding for DNA-based Storage Systems
PhD听 Tuukka Korhonen, Computing Width Parameters of Graphs
PhD听 H氓kon Tjeldnes, Unraveling the Mysteries of the Translatome
PhD听 Ramin Hasibi, Deep Learning and Deep Reinforcement Learning for Graph Based Applications
Doctoral degrees, 2023
PhD听Phillippe Samer, Polyhedra and algorithms for problems bridging notions of connectivity and independence
PhD听 Nidhi Purohit, Multivariate Analysis of Clustering Problems with Constraints
PhD听 Hans Heum, Cryptology in the Crowd
PhD听 Pierre Gillot, Scalable Learning of Bayesian Networks Using Feedback Arc Set-Based Heuristics
PhD听Hyeongji Kim, On the Significance of Distance in Machine Learning
PhD听Roberto Parisella,听On a New, Efficient Framework for Falsifiable Non-interactive Zero-Knowledge Arguments
PhD听Sophie Fischer-Holzhausen,听A matter of timing: A modelling-based investigation of the dynamic behaviour of reproductive hormones in girls and women
PhD听听Reent Schlegel,听Coding for Privacy in Distributed Computing
PhD听 Cosimo Damiano Persia,听Learning Possibilistic Logic Theories
PhD听 Yngve Sekse Kristiansen,听Interactive Semantic and Aesthetic Guidance for听Multi-View Visualization Design
Doctoral degrees, 2022
PhD听 Thomas Bernhard Trautner,听Visualization Hybridization with Spatialization Cues
PhD听 Arne Tobias 脴degaard,听Assumptions, Efficiency and Trust in Non-Interactive Zero-Knowledge Proofs
PhD听Laura Ann Garrison,听From Molecules to the Masses
PhD听Lars Albin Severinson,听Straggler-Resilient Distributed Computing
PhD听Alessandro Budroni,听Notes on Lattice-Based Cryptography
PhD听Eric M枚rth,听Scaling Up Medical Visualization - Multi-Modal, Multi-Patient, and Multi-Audience Approaches for Medical Data Exploration, Analysis and Communication
PhD听Muhammad Ammar Malik,听Machine learning approaches for high-dimensional genome-wide association studies
PhD听Adnan Muhammad Niazi,听Computational methods for studying RNA caps and poly(A)-tails at single-molecule resolution with Nanopore sequencing
PhD听Wrya Karim Kadir,听Decoding and constructions of codes in rank and Hamming metric
PhD听Emmanuel Jean Paul Pierre听Arrighi,听Order-Related Problems Parameterized by Width
PhD听Isaac Andr茅s Canales Mart铆nez,听New cryptanalysis of LFSR-based stream ciphers and decoders for p-ary QC-MDPC codes
PhD听Martha Norberg Hovd,听大象传媒 on the Security of Selected Advanced Asymmetric Cryptographic Primitives
听
Doctoral degrees, 2021
PhD听Anna Maria Eilertsen,听Improving the Usability of Refactoring Tools for Software Change Tasks
PhD听Kristine Vitting Klinkby Knudsen,听Parameterized Problems on (Di)Graphs
PhD听Ksenia Lavrichenko,听Computational methods for DNA Copy Number Variation Analysis
PhD听Asieh Abolpour Mofrad,听Clique-Based Neural Associative Memories
PhD听Chaoran Fan,听Improving Interaction in Visual Analytics using Machine Learning
PhD听John Petter Indr酶y,听Selected Topics in Cryptanalysis of Symmetric Ciphers
PhD听Diana Davidova,听On properties of bent and almost perfect nonlinear functions
PhD听Morten 脴ygarden,听Algebraic Cryptanalysis of Cryptographic Schemes with Extension Field Structure
PhD听Sachin Valera,听Topological Quantum and Skein-Theoretic Aspects of Braided Fusion Categories
PhD Dan Zhang,听Design of sequences with good correlation properties
PhD听Nikolay Stoyanov Kaleyski,听Towards a deeper understanding of APN functions and related longstanding problems
PhD听Bram Burger,听Statistical considerations for the design and interpretation of proteomics experiments
PhD听Kirill Simonov,听Algorithmic Complexity of Clustering and Low-Rank Approximation Problems
PhD听Irene Villa,听Analysis, classification and construction of optimal cryptographic Boolean functions
Doctoral degrees, 2020
PhD听Fabian Bolte,听Visualization Space Exploration
PhD听Bj酶rn Andr茅 Bredesen,听Modelling the structure, function and evolution of Polycomb/Trithorax Response Elements
PhD听Yaxin Xue,听Development and application of computational methods for NGS-based microbiome research
PhD听Xiaokang Zhang,听Biomarker Discovery Using Statistical and Machine Learning Approaches on Gene Expression Data
PhD听Lars Jaffke,听Bounded Width Graph Classes in Parameterized Algorithm
PhD听Srimathi Varadharajan,听Hard Mathematical Problems in Cryptography and Coding Theory
PhD听Daniel Hern谩ndez Escobar,听Strong stability of C-stationary points for mathematical programs with complementarity constraints
PhD听Torstein J. F. Str酶mme,听Exploiting graph structures for computational efficiency
PhD听Navid Ghaedi Bardeh,听New Approaches to the Cryptanalysis of Block Ciphers
PhD听Kornel Labun,听In silico design and analysis of targeted genome editing with CRISPR
Doctoral degrees, 2019
PhD听Arne Albert Klein,听Methods for Optimizing Turbine Locations and Cable Routes in Offshore Wind Farms
PhD听Adam Giess,听Understanding translational landscapes through the footprints of ribosomes
PhD听Anna-Lena Both,听Parameter optimisation for the improved modelling of industrial-scale gas explosions
PhD听Marika Ivanova,听Optimization Problems in Communication Networks and Multi-Agent Path Finding
PhD听Katarzyna Anna Chyzynska,听Insights into translational regulation from ribosome profiling data
PhD听Paloma Thom茅 de Lima,听Structural and Algorithmic Graph Theory Through the Lenses of Graph Classes
PhD听Andrea Tenti,听Sufficiently overdetermined random polynomial systems behave like semiregular ones
听
Doctoral degrees, 2018
PhD听Bj酶rn M酶ller Greve,听Systems of Boolean equations, elimination theory, and applications to cryptography
PhD听Erik Eikeland,听Two-Level Additive Schwarz Methods with Adaptive Coarse Spaces on Elliptic Multiscale Problems
PhD听Ute Alexandra Schaarschmidt,听Multiple time鈥搒cale dynamics of stage structured populations and derivative鈥揻ree optimization
PhD听Siddhartha Kumar,听Privacy, Security, and Repair in Distributed Storage Systems
PhD听Sergej Stoppel,听User-Centric Parameter Specification for Interactive Virtual and Physical Visual Representations
PhD听Tetiana Yarygina,听Exploring Microservice Security
PhD听Ang猫le Abboud,听Structure and dynamic of the N-terminal acetyltransferase family: a computational study
PhD听Bo Sun,听On the Classification and Some Properties of APN Functions
PhD听Eivind Jahren,听Three exact methods for some problems in Combinatorial Optimization
听
Doctoral degrees, 2017
PhD Markus Fanebust Dregi,听Beyond the question of fixed-parameter tractability
PhD Tero Hasu,听Programming Language Technology for Niche Platforms
PhD Ivan Koles谩r,听Partial Spatiotemporal Abstraction for Comparative Visualization of Molecular Processes
PhD Md Naim,听Parallel Matching and Clustering Algorithms on GPUs
PhD Akanksha Agrawal,听Graph Modification Problems: Beyond the Known Boundaries
PhD Christian Otterstad,听Selected x86 Low-level Attacks and Mitigations
听
Doctoral degrees, 2016
PhD Xiaoliang Wang,听Towards Correct Modelling and Model Transformation in DPF
PhD Atle Loneland,听Robust Domain Decomposition Methods for the Finite Element and Finite Volume Element Discretization
PhD Erik Parmann,听Case 大象传媒 in Constructive Mathematics
听
Doctoral degrees, 2015
PhD听Mohsen Toorani, Security protocols and related topics
PhD听P氓l Gr酶n氓s Drange, Parameterized Graph Modification Algorithms
PhD听Matus Kalas, Efforts towards accessible and reliable bioinformatics
PhD听Samson Gejibo, Towards a Secure Framework for mHealth: A Case Study in Mobile Data Collection Systems
PhD听Sigve Hortemo S忙ther, Choice of parameter for DP-based FPT algorithms: four case studies
PhD听Jan Christian Bryne, Determining the regulatory roles of transcription factor complexes by analysis of high throughput sequencing data
PhD听Reza SaeiDinvar, Algorithmic and combinatorial problems on graph classes
听
Doctoral degrees, 2014
PhD Mattia Natali, Sketch-based Modelling and Conceptual Visualization of Geomorphological Processes for Interactive Scientific Communication
PhD Sadia Sharmin, Practical Aspects of the Graph Parameter Boolean-width
PhD Chunlei Li, Sequences and Linear Codes from Highly Nonlinear Functions
PhD Anne-Kristin St酶bakk Stavrum, A kinetic model of tryptofan metabolism - Developments towards accurate and scalable kinetic models
PhD Pawe艂 Sztromwasser, Throughput and robustness of bioinformatics pipelines for genome-scale data analysis
听
Doctoral degrees, 2013
PhD Micha艂 Pilipczuk, Tournaments and optimality: new results in fixed-parameter tractability
PhD Cagatay Turkay, Integrating Computational Tools in Interactive and Visual Methods for Enhancing High-dimensional Data and Cluster Analysis
PhD R茅my Belmonte, Algorithmic and Combinatorial Aspects of Containment Relations in Graphs
PhD Aleksandra Sima, An improved workflow for image- and laser-based virtual geological outcrop modelling
PhD Endre M酶lster Lidal, Sketch-based Storytelling for Cognitive Problem Solving 鈥� Externalization, Evaluation, and Communication in Geology
PhD 脜smund Rognerud Birkeland, Ultrasonic Vessel Visualization: From Extraction to Perception
PhD Chirag Nepal, Regulatory mechanisms of non-coding RNAs during zebrafish embryogenesis
PhD Edvin Fuglebakk, Methods for comparative analysis of the intrinsic motions of computational protein models
PhD Susanne Balzer, Characteristics of Pyrosequencing Data - Analysis, Methods, and Tools
听
Doctoral degrees, 2012
PhD Somaye Yari, Coding for correcting errors of limited magnitude and for error detection
PhD Sjur Dyrkolbotn, Argumentation, paradox and kernels in directed graphs
PhD Mohammad Reza Sohizadeh Abyaneh, Security Analysis of Lightweight Schemes for RFID Systems
PhD Paolo Angelelli, Visual Exploration of Human Physiology: Visualizing Perfusion, Blood Flow and Aging
PhD Armin Pobitzer,听 Interactive Visual Analysis of Time-dependent Flows: Physics- and Statistics-based Semantics
PhD Guang Yang, Coding for Passive RFID Communication
PhD Veronika Solteszova, Perception-Augmenting Illumination
PhD Thorsten Schilling,Towards efficient algorithms in algebraic cryptanalisis
PhD Martin Vatshelle, New width parameters of graphs
PhD Ramij Rahaman,听 Study of nonlocal correlations and entanglement in the context of quantum information processing
听
Doctoral Degrees, 2011
PhD Jesper Nederlof, Space and Time Efficient Structural Improvements of Dynamic Programming Algorithms
PhD Alessandro Rossini, Diagram Predicate Framework meets Model Versioning and Deep Metamodelling
PhD Ove Daae Lampe, Interactive Visual Analysis of Process Data
PhD Seyed Mehdi Hassanzadeh, Cryptanalysis of Cryptographic Primitives and Related Topics
PhD Mostofa Ali Patwary, Parallel Graph Algorithms for Combinatorial Scientific Computing
PhD Johannes Langguth, Sequential and Parallel Matching Algorithms in Combinatorial Scientific Computing
PhD Johannes Kehrer, Interactive Visual Analysis of Multi-faceted Scientific Data
PhD Eva Burrows, Programming with Explicit Dependencies: A Framework for Portable Parallel Programming
PhD Alexandr Goncearenco, Evolution of protein function and mechanisms of molecular adaptation
PhD Gisle S忙lensminde, Computational analysis of proteins adapted to extreme temperatures
PhD Andrew Polonsky, Proofs, Types and Lambda Calculus
听
Doctoral Degrees, 2010
PhD Dag Hovland, Feasible Algorithms for Semantics - Employing Automata and Inference Systems
PhD Conrado Borraz-S谩nchez, Optimization Methods for Pipeline Transportation of Natural Gas听
PhD Adrian Rutle, Diagram Predicate Framework: A Formal Approach to MDE
PhD Joakim Grahl Knudsen, On Iterative Decoding of High-Density Parity-Check Codes Using Edge-Local Complementation
PhD Torben Broemstrup, Peripheral membrane binding of Proteinase 3: In silico description of amino acid specific binding interactions and their lipid type dependencyVarious aspects of stream cipher cryptanalysis听
PhD Michal Hojsik, Various aspects of stream cipher cryptanalysis听
PhD Siv Midtun Hollup, Prediction and analysis of protein structure
PhD Harald Barsnes, Development of Tools for Analyzing and Sharing Proteomics Data
PhD Rodica G. Mihai,听 Games on graphs: searching and online coloring
PhD Tor Erling Bj酶rstad, On the security of cryptographic primitives
PhD Jean-Paul Balabanian, Multi-Aspect Visualization: Going from Linked Views to Integrated Views
Doctoral Degrees, 2009
PhD Mohammad Ravanbakhsh, Towards Optimal Data Transmission by Network Coding
PhD Aina Johansen, The correlation of sequences over finite alphabets
PhD Sondre R酶njom, Cryptanalysis of Ciphers over Finite Cyclic Groups
PhD Valentin David, Language Constructs for C++-like languages 鈥� Tools and extensions
PhD Anya Helene Bagge: Constructs & Concepts 鈥� Language Design for Reliability and Flexibility
PhD Daniel Patel: Expressive Visualization and Rapid Interpretation of Seismic Volumes
PhD Daniel Lokshtanov: New Methods in Parameterized Algorithms and Complexity
PhD Morten Mjelde: New Results on Self-Stabilizing Algorithms,
and on Protocols for Wireless Sensor Networks
Doctoral Degrees, 2008听
PhD Serge Gaspers:听 Exponential Time Algorithms:听Structures, Measures, and Bounds
PhD Alexey Stepanov: Exact Algorithms for Hard Listing, Counting and Decision Problems
PhD Netland, Lars-Helge: Analyse av sikkerhetsrisikoer i datasystemer
PhD Klingsheim, Andr茅 N.: Sikkerhet og personvern p氓 Internett,
PhD Gundersen, Geir: Halleys metode i optimering for 氓 l酶se storskala beregninger
PhD Mancini, Federico: Reparering av eksperimentelle data ved 氓 bruke grafer
PhD Shruti Rastogi: Understanding protein evolution with structural models
PhD Lars Eirik Danielsen:听 On Connections Between Graphs, Codes, Quantum States, and Boolean Functions
PhD Yngve Espelid:听 Practices in Software Security
PhD Joanna Bauer: Fast Solution Methods for the Minimum Energy Multicast Problem in Wireless Ad-hoc Networks
PhD 脴rjan Bergmann: Optimization issues in medical imaging and fiber-tracking
PhD Timoty Hughes: Computational analysis of the evolutionary dynamics of proteins on a genomic scale听
Doctoral Degrees, 2007
PhD Kristian Flikka: Computational methods in high-throughput proteomics research
PhD Fredrik Dorn: Designing subexponential algorithms: problems, techniques & structures
PhD Geir Jarle Ness: Correlation of sequences of different lengths and related topics
PhD Thomas Tj酶stheim: Security Analysis of Electronic Voting and Online Banking Systems
PhD Irina Naydenova: Error detection and correction for symmetric and asymmetric channels
PhD Karl Trygve Kalleberg: Abstractions for Language-Independent Program Transformations
Doctoral Degrees, 2006听
PhD Bjarte Dysvik听 Analyse av genetiske uttrykksprofiler听
PhD Vebj酶rn Moen: Vulnerabilities in Distributed Systems
PhD Lennart Frimannslund: On Curvature and Separability in Unconstrained Optimisation
PhD Hoang Anh Truong: Type Systems for Guaranteeing Resource Bounds of Component Software
PhD Yngve Villanger: New methods on minimal triangulations
PhD Christian Sloper: Techniques in parameterized algorithm design
Doctoral Degrees, 2005
Dr.scient P氓l Ellingsen: Iterative decoding for the Z-channel and related topics
PhD John Erik Mathiassen: Cryptanalysis of Block Ciphers and Hash Functions
PhD H氓vard Molland: New Methods for Crypt Analysis of Stream Ciphers
PhD Sin Cheung Ho: Tabu Search Heuristics for Vehicle Routing Problems
Dr.scient. Ketil Malde: Algorithms for the Analysis of Expressed Sequence Tags
Dr.scient. H氓vard Raddum: Cryptanalytic Methods for Block Cipher Encryption Schemes
Doctoral Degrees, 2004
PhD Alexa Anderlik: Structural properties of DDAs and their application to parallel programming.
PhD Borislav Minchev: Exponential Integrators for Semi-linear Problems.
Dr.scient. Trond Hellem B: Feature selection, classification and imputation methods for microarray gene expression data听
Dr.scient. Thomas 脜gotnes: A Logic of Finite Syntactic Epistemic States.
Doctoral Degrees, 2003
Dr.scient. Stein Krogstad: Topics in Numerical Lie Group Integration
Dr.scient. Yasemin Yalcinkaya: Reducing the Effect of Old History in Asynchronous Iterations: An Empirical Study
Dr.scient. Ragnhild Blikberg: Nested Parallelism in OpenMP with Application to Adaptive Mesh Refinement.
Dr.scient. Assefaw Gebremedhin: Practical Parallel Algorithms for Graph Coloring Problems in Numerical Optimization.
Dr.scient. Eirik Rosnes: Structural Properties of High Rate Convolutional and Turbo Codes and Related Topics.
Dr.scient. Yngve Lamo: The institution of Multialgebras - a general framework for algebraic software development.
Dr.scient Petter Kristiansen: New results on the domination chain, graph homomorphisms, alliances, and self-stabilizing algorithms.
Doctoral Degrees, 2002
Dr.scient. Thierry Matthey: Framework Design, Parallelization and Force Computation in Molecular Dynamics.
Dr.scient. Hans Georg Schaathun: Support Weights in Linear Codes and Projective Multisets.
Dr.scient. Kjell Petersen: Zinc finger protein modelling using GADGET 鈥� Genetic Algorithm and Distance Geometry for Exploring Topology
Dr.philos Magne Haveraaen: Coordinate free numerics 鈥� A software approach to scientific computing
Doctoral Degrees, 2000
Dr.scient. Peter 脴lveczky: Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic.
Dr.scient. Sigrid Lise Non氓s: Modeling and production planning for complex multi-item systems.
Dr.scient. Bj酶rn Peter Tj酶stheim: A study of fourth order elliptic problems with constant coefficients in two and three dimensions
Dr.scient. Kenth Eng: Topics in Numerical Geometric Integration of Ordinary Differential Equations.
Dr.scient. Helge Avlesen: The analysis of some time-stepping schemes in ocean models. Their discretization error, consistency and convergence.
Dr.scient. Bj酶rn J忙ger: Traffic Restoration in Survivable Wide Area Communication Networks
Dr.scient. Venansius Baryamureeba: Methods for Nonlinear Least Squares Problems
Dr.scient. Halvard Movik Martinsen: Sequence Design and Correlation
Dr.scient. Talal Rahman: Additive Schwarz methods for some elliptic problems
Doctoral Degrees, 1998
Dr.scient. Abul K.M. Shahadat Hossain: On the Computation of Sparse Jacobian Matrices and Newton Steps
Dr.scient. Chunming Rong: Computational Analysis in Algebraic Decoding, APN-Mappings and t-Designs
Dr.scient. Rolf Erstad: Coding and Decoding of High Density Magnetic Recording Systems
Dr.scient. Tore Burheim Restricted Feature Structure Grammars
Doctoral Degrees, 1997
Dr.scient. : Robust Additive Schwarz Methods - Parallel Implementations and Applications
Doctoral Degrees, 1996
Dr.scient. Pinar Heggernes: Partitioning and Ordering Graphs for Sparse Matrix Computations
Dr.scient. Inge Jonassen: Methods for finding motifs in sets of related biosequences
Dr.scient. Richard Elling Moe: First order typed feature structures
Dr.scient. : Developing Verifiable Knowledge Systems
Doctoral Degrees, 1995
Dr.scient. Marianne Fjelltveit Hole: High rate convolutional codes: low complexity decoding and structural analysis.
Dr.scient. Arne L酶kketangen: Tabu search as a metaheuristic guide for combinatorial optimization problems.
Dr.scient. Torill Hamre: Development of semantic spatio-temporal data models for integration of remote sensing and in situ data in a marine information system (MIS).
Doctoral Degrees, 1994
Dr.scient. : DeBruijn sequences and non-linear recursion.
Dr.scient. : Approximate pattern matching : algorithms and applications in molecular biology.
Doctoral Degrees, 1993
Dr.scient. : Massively parallel algorithms in reservoir simulation.
Dr.philos. : Volume visualization of numerical simulation data.
Dr.scient. : Load balancing in parallel sparse matrix computations.
Dr.scient. : Algebraic specifications of nondeterminism.
Dr.scient. : Stochastic optimization and parallel processing.
Doctoral Degrees, 1992
Dr.philos. : Optimal binary linear codes.
Dr.scient. : Bin-packing in "1.5 dimension" and variants of the Next-fit rule for one-dimensional packing.
Dr.scient. : Parallel sparse matrix algorithms.
Dr.scient. : Iterative local uniform mesh refinement methods and parallel processing.
Dr.scient. : Parallel Schwarz methods.
Doctoral Degrees, 1991
Dr.scient. : Optimization methods for blending models in oil refineries.
Dr.scient. : Punctured convolutional codes and their applications.
Doctoral Degrees, 1990
Dr.scient. : Interval representation of uncertainty in artificial intelligence.
Dr.scient. : A parallel implementation of the finite element program SESTRA.
Doctoral Degrees, 1989
Dr.scient. : Codes for error control.
Dr.philos. : Multidimensional numerical integration.
Doctoral Degrees, 1988
Dr.scient. : Reliable and efficient algorithms for adaptive quadrature.
Dr.scient. : Generation of runtime facilities for program editors.
Doctoral Degrees, 1985
Dr.scient. : Development and testing of automatic numerical integration routines for three dimensional integrals.
Doctoral Degrees, 1984
Dr.scient. : Enumerative methods for stochastic programs with network recourse.
