Topics in Static Analysis Engineering
Organisatsiooni nimi
Laboratory for Software Science
Kokkuvõte
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
Lõputöö kaitsmise aasta
2018-2019
Juhendaja
Vesal Vojdani
Suhtlemiskeel(ed)
eesti keel, inglise keel
Nõuded kandideerijale
Candidate should not be immune to learning. Interest in functional programming is highly recommended.
Tase
Magister
Kandideerimise kontakt
Nimi
Vesal Vojdani
Tel
E-mail
Vaata lähemalt