Dear Constantine Firun,
Thank you for your interesting thoughts. I completely agree with your analysis. We also doing a lot of research in automata based programming and there is quite a number of other groups in Germany and also in Europe which work in that direction.
In the end I think that is a very interesting technology with a lot of potential.
I wish you a good success with the topic of your bachelor thesis.
Sincerely, Manfred Broy