During my Ph.D. I was part of MFIS, where we specialized in formal program analysis. My research involved the use of machine learning and evolutionary computation as the main technologies for addressing program analysis tasks. These are the projects I worked on:

Class Object Classification with Neural Networks

Specification Inference with Evolutionary Computation