Note that at this time I have no openings for PhD students. Even at the Master's level I am not involved at this time in anything related to data science. In particular the project you mention was a one-shot thing. Let me know if you might be interested in formal methods or formal languages, otherwise you are better off with a different supervisor.

I appreciate provided information. These articles seem very interesting to me since it is a valuable opportunity that brings profound advantages in both scientific and professional aspects. The quality of software applications is always one of my concerns, therefore I would be honored if I could make progress in this area. I appreciate provided information. These articles seem very interesting to me since it is a valuable opportunity that brings profound advantages in both scientific and professional aspects. The quality of software applications is always one of my concerns, therefore I would be honored if I could make progress in this area.