Institute of Computer Science - Graduation Theses Topics Registry

Graduation theses topics (Submit a thesis topic) Completed theses (Submit your thesis)

Topics in Software Science

Organization

Laboratory for Software Science

Abstract

Programming Languages, Automated Software Verification, Proof Assistants, and Logic Programming.

https://sws.cs.ut.ee/Main/Thesis

Graduation Theses defence year

2023-2024

Supervisor

Various Artists

Spoken language (s)

Estonian, English

Requirements for candidates

Level

Bachelor, Masters

Keywords

Name

Vesal Vojdani

Phone

E-mail