Computer Science PhD student.
Teaching Assistant of Introduction to Programming at the Computer Science Department, University of Rio Cuarto.
🏠 Office: A13, Departamento de Computación, FCEFQyN, Universidad Nacional de Río Cuarto. Ruta Nac. No. 36 km 601, Río Cuarto (5800), Córdoba, Argentina.
✉️ Email: fmolina@dc.exa.unrc.edu.ar

About me

I am a CONICET funded PhD student at the Software Engineering and Formal Methods Group, at the University of Rio Cuarto, Argentina, working under the supervision of Professor Nazareno Aguirre.

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 👉 Publications.