Talk to sales Try for Free
Facundo Molina

Facundo Molina

Software Engineer

Followers of Facundo Molina349 followers
location of Facundo MolinaMadrid, Community of Madrid, Spain

Connect with Facundo Molina to Send Message

Connect

Connect with Facundo Molina to Send Message

Connect

  • Timeline

  • About me

    Computer Scientist | Software Testing and Analysis | AI4SE

  • Education

    • Universidad Nacional de Córdoba

      2017 - 2022
      Doctor of Philosophy - PhD Computer Science

      During my PhD I worked on the applications of machine learning techniques to program analysis tasks. More precisely, I worked on the use of evolutionary algorithms, artificial neural networks, and fuzzing-based techniques, to infer software specifications with the goal of improving software reliability (see the Publications section).

    • Universidad Nacional de Río Cuarto

      2012 - 2017
      Licenciatura en Ciencias de la Computación Software Engineering & Formal Methods

    • Universidad Nacional de Río Cuarto

      2012 - 2014
      Analista en Computación Computer Software Engineering

  • Experience

    • SMF Consulting S.L

      Apr 2015 - Feb 2019
      Software Engineer

      Java Software Developer providing solutions based on the Openbravo ERP platform using technologies such as Java, PostgreSQL, Oracle, JavaScript, Mercurial.

    • Universidad Nacional de Río Cuarto

      Aug 2015 - Jul 2017

      I had a position as student teaching assistant in different courses of a degree in Computer Science including Algorithms I, Algorithms II, Comparative Analysis of Languages and Analysis and Design of Systems. I was part of a research group that studies formal methodologies in software development. During the scolarship we developed a tool to translate operational specifications into declarative specifications. The results were published in the 19th Brazilian Symposium on Formal Methods in 2016: http://dblp.org/rec/html/conf/sbmf/MolinaCDRCAF16

      • Student Teaching Assistant

        Jul 2014 - Jul 2017

      • Research Scholar

        Aug 2015 - Jul 2016

    • Universidad Nacional de Río Cuarto

      Apr 2018 - Aug 2022
      Teaching Assistant

      I had a teaching assistant position in the course Computability and Complexity. Previously: DOSE (Distributed and Outsourced Software Engineering)

    • IMDEA Software Institute

      Nov 2022 - now
      Postdoctoral Researcher

  • Licenses & Certifications

  • Honors & Awards

    • Awarded to Facundo Molina
      Latin America PhD Award 2020 Microsoft Research Jun 2020 A research award for PhD students in computing related fields in their 3rd year or beyond at universities in Latin America.