We are currently interested in the following topics:
- Techniques for automatic deployment of microservices which use AI tools;
- Big code: ML for software engineering
- Portfolio solvers;
- Languages for integrating symbolic and sub-symbolic computation.