I visited and gave an invited talk in the group of Prof. Martin Vechev at INSAIT. It was an amazing visit, thanks to Prof. Martin Vechev and his institute for inviting and hosting me!