Graduates and Theses

Number of results: 64

Search for a graduate and thesis

Search term

Limit search to

Title of the thesis/dissertation

Alumnus/author of the work

Supervisor/a reader

Keywords

Faculty

Department under which the thesis has been written

Person's academic degree

Year of defence

Field of Study/plan

include only defended theses

Faculty

Faculty of Informatics

Field of Study/plan

FI - Informatics: Parallel and Distributed Systems

include only defended theses

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2018

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: An Executable Formal Semantics of C++

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2020

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Safety Checkers for Termination Proofs

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2015

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Analysis and testing of distributed NoSQL datastore Riak

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2016

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Coincer: The Decentralized Cryptocurrency Exchange