My colleague Prof Mohammad Mousavi and I are supervising a PhD project on the co-evolution of symbolic AI with data and specifications. Please have a look at the project description.
This project comes with a fully-funded studentship in the Safe & Trusted AI UKRI centre for doctoral training (competitive funding, competing againt other applicants and projects). The centre offers an exciting program provided by Imperial College and King's College London.
To learn more about the program and the offered opportunities, please sign up for the information session on Friday March 25 14:00 GMT.
The deadline for the next round of applications is April 11.
I am currently listed as the first supervisor. Due to changes of Universities, Mohammad would be the first supervisor and I would be an external supervisor of the project.
Some of our earlier works are related to the project we proposed:
- S. Maoz, J. O. Ringert. Spectra: a specification language for reactive systems. SoSym. Springer 2021
- C.D. Damasceno, M.R. Mousavi, and A. Simao. Learning by Sampling: Learning Behavioral Family Models from Software Product Lines. Empirical Software Engineering, 26(1): 4, 2021
- C.D. Nascimento Damasceno, M.R. Mousavi and A. Simao. Learning to Reuse: Adaptive Model Learning for Evolving Systems. Proceedings of the 15th International Conference on integrated Formal Methods (iFM 2019). Springer, 2019.
- S. Maoz, J. O. Ringert: A Framework for Relating Syntactic and Semantic Model Differences. SoSym 2018
Comments
Post a Comment