PhD theses

Name Title of the PhD thesis at
Farzane Karami Language-based security (working title) UiO
Daniel Fava Synthesis for Concurrent Programs with Weak Memory Models (working title) UiO
Shukun Tokas Formal Security Analysis for Communicating Object Systems (working title) UiO
Bjørnar Luteberget Correct Railway Design: Formal Verification and Tools (working title) UiO
Johanna Beate Stumpf Virtually Timed Ambients: A Calculus for Resource Management in Cloud Computing UiO
Violet Ka I Pun Behavioural Static Analysis for Deadlock Checking UiO
Silvia Lizeth Tapia Tarifa Executable Modeling Deployment Decisions for Resource-Aware Distributed Applications UiO
Thi Mai Thuong Tran Compositional Formal Analysis for Concurrent Object-Oriented Languages UiO
Arild B. Torjusen Specification-Based Verification and Testing of Open Distributed Systems UiO
Erika Ábrahám An Assertional Proof System for Multithreaded Java - Theory and Tool Support U. Leiden
Andreas Grüner Testing Concurrent Objects U. Leiden
Immo Grabe Static Analysis of Unbounded Structures in Object-Oriented Programs" U. Leiden

Opponent / Examinor / Adjudication of PhD theses

Name Title of the PhD thesis defended at
Seray Fayyad Measurable Security for Systems Built upon Internet of Things UiO
Muhammad Zohaib Zafar Iqbal Environment Model-Based System Testing of Real-Time Systems UiO
Rudolf Schlatte Passive Testing with Parallel Object-Oriented Software Models U. Graz
Joachim Klein Compositional Synthesis and Most General Controllers TU Dresden
Ingrid Yu Type Safety for Distributed, Concurrent Programs with Class Upgrades UiO
Xuedon Liang QoS Provisioning for Wireless Sensor Networks: Algorithms, Protocols and Modeling UiO
Anders Moen Hagalisletto Automated support for the design and analysis of security protocols UiO

Master thesis supervision


Name Title of the thesis
Henrik Klev Verifying the Sainte Laguë algorithm for seat allocation in Norwegian elections (working title) (announcement)
Stein Elgethun Synthesis of correctly synchronized concurrent programs (working title) (announcement)
Per Ove Ringdal Automatic Refactoring of Rust Programs (working title) (announcement)
Ratan Bhadur Thapa Automatic Program Verification with Kleene Algebra (working title) (announcement)
Morten Aske Kolstad Program verification with Liquid Haskell (working title) (announcement)
Christopher Trotter A Non-Sculpting Theorem in Non-Interleaving Models for Concurrency
Morten Fliflet Johannessen Automatic Parallelization of Go programs (working title) (announcement)
Andreas Fladstad Scalable and concurrent flow analysis for Go (working title) (announcement)
Araz Abishov Reactive Extensions for Rust (working title) (announcement)

Completed or finished

Name Title of the thesis
Yrjan Skrimstad Improving Trust in Compilation through Reproducible Builds and Diverse Double Compilation (announcement)
Tor Husaboe A Comparative Evaluation of the New C++ Standard (announcement)
Pavel Jurasek PHPWander: a Static Vulnerability Analysis Tool for PHP (announcement)
Håkon Smørvik Comparative study of modern programming languages and frameworks for web services (announcement)
Eric Vesteraas Rust Types from JSON samples (see the git-repos and web-page)
Altin Qeriqi A PLC-NuSMV Compiler for Model Checking Safety Critical Control Systems (announcement)
Stian Valle Shared Variables in Go. A Semantic Analysis of the Go Memory Model (announcement)
Carl Martin Rosenberg Leveraging DTrace for Runtime Verification (announcement)
Lars Tveito Developing Real-Time Collaborative Editing Using Formal Methods (announcement)
Olaf Aarseth Berge A Survey of JavaScript Features
Christian Bergum Bergersen Detection of Bugs and Code Smells for the Go Programming Language (announcement)
Joakim Kristiansen Safer Refactorings
Peter Brottveit Bock Formalization of a type and effect system using Coq and OTT
Immo Grabe Cloning and Processes
Immo Grabe Konzept und Implementierung einer Datenbankanwendung für einen medizinischen Diagnosekatalog (Studienarbeit)
Claus Traulsen Enumerative model checking using constraints for asynchronous systems with queues
Andreas Grüner Cliques and components: Implementing traces and object connectivity for a concurrent langauge
Thomas Richter Komponentenbasierter Entwurf und Spezifikation eines Softwareprojektes mittels UML and Java 2 Enterprise Edition
Mike Scheske Software Engineering im SAP R/3
Tim D'Avis Verification of dynamically chaning asynchronous networks
Tim D'Avis Verifikationsfallstudie für nebenläufiges Java (Studienarbeit)
Henrik Bohnenkamp CLOWN: Concurrent Language with Objects and Wait-by-necessity
Magnus Binder Modelling von guarded choice in Pict
Christoph Wedler Verifikation objektorientierter verteilter Systeme
Michael Egner Korrekter Entwurf objektorientierter Verteiler Programme durch Programmtransformation
Thomas Schreiber/Kleymann Verifikation von imperativen Programmen mit dem Beweisprüfer LEGO
Wolfgang Naraschewski Object-oriented proof principles using the proof-assistant LEGO

Opponent for master defenses

Name title
Kudakwashe Chambwe Model-based Secure Software Engineering using UMLsec applied to Assisted Living and Home Care
Manoj Upadhaya Process Modelling Based on Smart Home System Using JBoss
Subhash Neupane Modeling Smart Home Processes unsing the Event-Based Modelling Language Tools of DCR graph
Sigurd Kittilsen Partitioning {0,1,…,r} into m subsets of equal sum
Aulon Mujaj A comparison of secure messaging protocols and implementation
Lars Kristian Maron Telle An Exploration into Goodstein Sequences and Hydra Games
Andreas R. Askeland Investigations in complexity theory related to the space hierarchy problem
Simen Heggestøl Visual Query formulation and subclass reasoning for linked open data
Marius Standhaug An R2RML mapping management API in Java
Wenlu Zhang Formal moddeling and analysis of the CANopen protocol in full Maude

Third semester evaluation

PhD of Evgeny Daniel Bakkelund 2018

Author: Martin Steffen

Created: 2018-12-01 Sat 10:50