The tables not intended as complete overview over theses I supervised, they contain only entries for those works where I still have some abstract with a bit more information about it to see what kind of topics have been treated and perhaps with a link of the work itself. The bibliographic reference below are more complete (resp. will be more complete when finished). Also the page about supervision contains a complete list, unless I forgot something…

Name   Title
Audun Wolden Autumn 2023 Exploring Automated Parallellization of Loops in Go
Sondre Åge Godø Teigen Autumn 2022 A Relaxed Memory Model Based On Message Passing and Delayed Evaluation of Shared Memory Operations
Sarek Skotåm Spring 2022 CreuSAT. Using Rust and Creusot to create the world’s fastest deductively verified SAT solver
Rasmus Sylte Drønnen   Pre-filling Orleans grains for market analysis
Aasbjørn Gaarde Autumn 2020 Compile-Time Reflection in Rust. A New Tool for Making Derive Macros
Henrik Klev Spring 2020 Verifying EVA. Formal Verification of the software deciding Norwegian governmental elections
Araz Abishov Spring 2020 A Vector Implementation Based on RRB-Tree for Rust. A confluently persistent vector implementation for Rust
Per Ove Ringdal Spring 2020 Automated Refactoring of Rust Programs. Algorithms and implementations of Extract Method and Box Field
Morten Kolstad Autumn 2019 Program Verification with Liquid Haskell
Ratan Bahadur Thapa Spring 2019 Partially Ordered Sets with Interfaces: A Novel Algebraic Approach for Concurrrency
Christopher A. Trotter Autumn 2018 A Non-Sculpting Theorem in Non-Interleaving Models for Concurrency
Yrjan Skrimstad Autumn 2018 Improving Trust in Software through Diverse Double-Compiling and Reproducible Builds
Pavel Jurásek Spring 2018 PHPWander. A Static Vulnerability Analysis for PHP
Erik Vesteraas Spring 2017 Rust Types from JSON samples
Aarseth Berge Autumn 2016 A Survey of JavaScript Features
Stian Valle Autumn 2016 Shared Variables in Go. A Semantic Analysis of the Go Memory Model
Lars Tveito Autumn 2016 Developing Real-Time Collaborative Editing Using Formal Methods
Carl Martin Rosenberg Spring 2016 Leveraging DTrace for Run-time Verification
Christian Bergum Bergersen Autumn 2016 Detection of Bugs and Code Smells through Static Analysis of Go Source Code
Altin Qeriqi Spring 2016 A PLC-NuSMV compiler for model checking safety-critical control systems
Anna-Katharina Wickert 2016 Informationsflussanalyse in Go
Peter Brottveit Bock Autumn 2013 Formalization of a Type and Effect System using Coq and OTT
Claus Traulsen 2005 Enumerative Model Checking Using Constraints for Asynchronous Systems with Queues
Immo Grabe 2006 Cloning and processes
Wolfgang Naraschewski 1996 Object-Oriented Proof Principles using the Proof-Assistant Lego
Michael Egner 1994 Korrekter Entwurf objektbasierter verteilter Programme durch Programmtransformation
Christoph Wedler 1994 Verifikation objektorientierter verteilter Systeme
Thomas Schreiber 1993 Verifikation von imperativen Programmen mit dem Beweisprüfer Lego

Bibliographic references

  • Wolden, A. (2023). A Tool for refactoring and/or concurrency in modern languages, like Go (working title) [Master's thesis]. University of Oslo, Faculty of Mathematics and Natural Sciences, Dept. of Informatics.
  • Lakicevic, N. (2023). Runtime Verification with Linux BPF [Master's thesis]. University of Oslo, Faculty of Mathematics and Natural Sciences, Dept. of Informatics.
  • Jarholt, M. (2022). Frog: Functions for ontologies. An extension for the OTTR-framework [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Pokharel, K. B. (2022). Agile and Secure Softwre Development. An extension of XP to build secure software [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Khan, T. W. (2022). Hybrid malware detection using machine learning (working title) [Master's thesis]. University of Oslo, Faculty of Mathematics and Natural Sciences, Dept. of Informatics.
  • Skotåm, S. (2022). CreuSAT. Using Rust and Creusot to create the world’s fastest deductively verified SAT solver [Master's thesis]. University of Oslo, Faculty of Mathematics and Natural Sciences, Dept. of Informatics.
  • Teigen, S. Å. G. (2022). A Relaxed Memory Model Based On Message Passing and Delayed Evaluation of Shared Memory Operations [Master's thesis]. University of Oslo, Faculty of Mathematics and Natural Sciences, Dept. of Informatics.
  • Awed, N. A. (2022). Towards integrating static code analysis and hybrid fuzzing for more efficient bug detection [Master's thesis]. University of Oslo, Faculty of Mathematics and Natural Sciences, Dept. of Informatics.
  • Kingston, S. M. S. (2022). Automatic Refactoring of Test Suites in Python (working title) [Master's thesis]. University of Oslo, Faculty of Mathematics and Natural Sciences, Dept. of Informatics.
  • Johannessen, M. F. (2021). Automatic Parallelization of Go programs (working title) [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Azam, N. (2021). Attack scenarios on AMI that Compromise Human Behaviour and Cellular Networks [Master's thesis]. uioifi.
  • Drønnen, R. (2021). Pre-Filling Orleans Grains for Market Data Analysis (working title) [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Berge, G. A. (2021). Statically synthesizing resource bounds for Real-Time ABS (working title) [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Sivesind, A. J. (2021). Community Coordinated Artificial Intelligence. Towards a unified framework for the democratisation of AI [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Orishchenko, A. (2021). Towards Safety Standard Compliance of IoT Software Systems Using Modelling and Verification with DCR Graphs [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Rømming, F. (2021). Learning to Reason [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Abishov, A. (2020). A Vector Implementation Based on RRB-Tree for Rust. A confluently persistent vector implementation for Rust [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Klev, H. (2020). Verifying EVA. Formal Verification of the software deciding Norwegian governmental elections [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Bayram, U. (2020). Semantic Attribute-Based Access Control. Developing an Access Control solution for IoT Gateways applied to Smart Home Care [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Gaarde, A. (2020). Compile-Time Reflection in Rust. A New Tool for Making Derive Macros [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Elgethun, S. (2020). Synthesis of correctly synchronized concurrent programs (working title) [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Ringdal, P. O. (2020). Automated Refactoring of Rust Programs. Algorithms and implementations of Extract Method and Box Field [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Kolstad, M. A. (2019). Program Verification with Liquid Haskell [Master's thesis]. University of Oslo, Faculty of Mathematics and Natural Sciences, Dept. of Informatics.
  • Thapa, R. B. (2019). Partially Ordered Sets with Interfaces: A Novel Algebraic Approach to Concurrrency [Master's thesis]. University of Oslo, Faculty of Mathematics and Natural Sciences, Dept. of Informatics.
  • Chambwe, K. (2018). Model-based Secure Software Engineering using UMLsec applied to Assisted Living and Home Care [Master's thesis]. University of Oslo, Faculty of Mathematics and Natural Sciences, Dept. of Informatics.
  • Fladstad, A. (2018). Scalable and concurrent flow analysis for Go (working title) [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Jurásek, P. (2018). PHPWander: a Static Vulnerability Analysis Tool for PHP [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Skrimstad, Y. (2018). Improving Trust in Software through Diverse Double-Compiling and Reproducible Builds [Master's thesis, University of Oslo, Faculty of Mathematics and Natural Sciences, Dept. of Informatics]. https://www.duo.uio.no/handle/10852/65737
  • Trotter, C. A. (2018). A Non-Sculpting Theorem in Non-Interleaving Models for Concurrency [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Upadhaya, M. (2018). Process Modeling Based on Smart Home System Using JBoss [Master's thesis]. University of Oslo, Faculty of Mathematics and Natural Sciences, Dept. of Informatics.
  • Vesteraas, E. (2017). Rust Types from JSON samples [Master's thesis]. University of Oslo, Faculty of Mathematics and Natural Sciences, Dept. of Informatics.
  • Wickert, A. K. (2017). Information Flow analysis in Go [Master's thesis]. TU Darmstadt.
  • Bergersen, C. B. (2016). Detection of Bugs and Code Smells for the Go Programming Language [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Kristiansen, J. (2016). Safer Refactorings [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Qeriqi, A. (2016). A PLC-NuSMV Compiler for Model Checking Safety Critical Control Systems [Master's thesis, Faculty of Mathematics and Natural Sciences, University of Oslo]. https://www.duo.uio.no/handle/10852/51630
  • Rosenberg, C. M. (2016). Leveraging DTrace for Runtime Verification [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Tveito, L. (2016). Developing Real-Time Collaborative Editing Using Formal Methods [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Valle, S. (2016). Shared Variables in Go. A Semantic Analysis of the Go Memory Model [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Askeland, A. R. (2015). Investigations in Complexity Theory Related to the Space Hierarchy Theorem [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Zhang, W. (2014). Formal Modeling and Analysis of the CANOpen Protocol in Full Maude [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Bock, P. B. (2013). Formalization of a Type and Effect System using Coq and OTT [Master's thesis]. Faculty of Mathematics and Natural Sciences, University of Oslo.
  • Grabe, I. (2006). Cloning and Processes [Diplomarbeit]. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel.
  • D’Avis, T. (2005). Verification of Dynamically Changing Asynchronous Networks [Diplomarbeit]. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel.
  • Grabe, I. (2005). Konzept und Implementierung einer Datenbankanwendung für einen medizinischen Diagnosekatalog. Studienarbeit im Fach Informatik.
  • Traulsen, C. (2005). Enumerative Model Checking Using Constraints for Asynchronous Systems with Queues [Diplomarbeit]. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel.
  • Grüner, A. (2004). Cliques and Components: Implementing Traces and Object-Connectivity for a Concurrent Language [Diplomarbeit]. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel.
  • D’Avis, T. (2003). Verifikationsfallstudie für Nebenläufiges Java [Studienarbeit]. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel.
  • Scheske, M. (2002). Software Engineering im SAP R/3 [Diplomarbeit]. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel.
  • Richter, T. (2002). Komponentenbasierter Entwurf und Spezifikation eines Softwareprojektes mittels UML und Java 2 Enterprise Edition [Diplomarbeit]. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel.
  • Naraschewski, W. (1996). Object-Oriented Proof Principles using the Proof-Assistant Lego [Diplomarbeit]. Friedrich-Alexander-Universität Erlangen-Nürnberg.
  • Binder, M. (1995). Modellierung von guarded choice in Pict [Diplomarbeit]. Friedrich-Alexander-Universität Erlangen-Nürnberg.
  • Bohnenkamp, H. (1994). CLOWN: Concurrent Language with Objects and Wait-by-Necessity [Studienarbeit]. Friedrich-Alexander-Universität Erlangen-Nürnberg.
  • Egner, M. (1994). Korrekter Entwurf objektbasierter verteilter Programme durch Programmtransformation [Diplomarbeit]. Friedrich-Alexander-Universität Erlangen-Nürnberg.
  • Schreiber, T. (1993). Verifikation von imperativen Programmen mit dem Beweisprüfer Lego [Diplomarbeit]. Friedrich-Alexander-Universität Erlangen-Nürnberg.
  • Wedler, C. (1993). Verifikation objektorientierter verteilter Systeme [Diplomarbeit]. Friedrich-Alexander-Universität Erlangen-Nürnberg.