Constraint Solving Top Software Synthesis

Software Synthesis

Programming is difficult. But even worse, software engineers often spend an immense amount of time to produce software that fails to fulfill its goal. There are various techniques that help to avoid this (e.g., prototyping), but those usually concentrate on aspects such as user interface design, but fail to address complex functionality.

The goal of the thesis topics in this area is to come up with tools that can rapidly come up with software prototypes that implement complex functionality by synthesizing software from specifications. Very often, the resulting prototype will not be efficient, or will implement only small code snippets, but it will allow the user to see something running within a few minutes.

I will be happy to provide more information. Just contact me!

Below are examples of possible thesis topics. Many more topics can be agreed upon in individual consultation.


Constraint           Solving Top Verification of Complex Systems