Registered user since Mon 22 Apr 2019
My main research topic is the application of Machine Learning techniques to Program Analysis tasks. Specifically, i research how to automatically produce formal software specifications. My research involves using a variety of techniques, Neural Networks and Genetic Algorithms in particular.
|ICSE 2021|| EvoSpex: An Evolutionary Algorithm for Learning Postconditions|
EvoSpex: An Evolutionary Algorithm for Learning Postconditions
|Show activities from other conferences|
View general profile