Topics in Static Analysis Engineering
Organization
Laboratory for Software Science
Abstract
We have some high-priority topics on sound static analysis. You will learn the necessary skills to become a static analysis engineer. Scholarships are available to students willing to work extra hard to master this increasingly important skill set.
https://sws.cs.ut.ee/Thesis/SoundAnalysis
https://sws.cs.ut.ee/Thesis/SoundAnalysis
Graduation Theses defence year
2018-2019
Supervisor
Vesal Vojdani
Spoken language (s)
Estonian, English
Requirements for candidates
Candidate should not be immune to learning. Interest in functional programming is highly recommended.
Level
Masters
Application of contact
Name
Vesal Vojdani
Phone
E-mail