Vesal Vojdani

Introductions or teaching material on Software Science

For a B.Sc. thesis you can write an introduction or lab package to help us introduce students to some exciting topics that are left outside the main curriculum. Our compilers course (AKT) could benefit from far more interesting optional assignments and tutorials. More info on this SWS-Lab page.

Reducing Software Vulnerability with the Goblint Static Analyzer
With Kalmer Apinis, Varmo Vene, Helmut Seidl

There are many topics possible within our Goblint analyzer project. This is a great topic if you are interested in functional programming. We are looking to shift our focus towards security analysis with a strong focus on usability.

AI for Code: Automated Test Generation.
With Tambet Matiisen, Kristjan Sägi, Triin Kask

I am currently very interested in applications of AI to software development; in particular, techniques that combine machine reasoning (automated theorem proving) and machine learning, such as Microsoft's DeepCoder. We are currently launching a project with industrial partners to automatically generate tests to increase code coverage.

Simulating Software Behaviour from Source Code
With Fredrik Milani

Currently when a developer has finished writing his/her code, the program is deployed in a test environment and examined against predefined test cases. When existing software programs are being enhanced, the desired changes are confirmed to ensure that they are functioning correctly and according to the requirements. The undesired changes are detected if the behaviour is in conflict with the requirements. As such, undesired changes are oftentimes not detected prior to the deployment in the live environment. In light of this context, this thesis topic aims at developing an automated method to elicit the behaviour of a software from its source code.