I am PhD. Student at LaFHIS: The Tools and Foundations for Software Engineering Lab since 2014 and Teaching Assistant at the Computer Science Department, School of Sciences, University of Buenos Aires since 2012.
My main research is about how to apply preferences to the discrete event controller synthesis process in a qualitative manner. The controller synthesis process consist in automatically generate a solution (i.e: controller) that guarantees that a goal, a formula in some logic (in particular we work with Linear Temporal Logic), will be satisfied for a given model, which can be expressed also with some logic or automaton (in particular we work with Labelled Transition Systems). Our current research is focused on reachability goals and ime preferences (i.e: latency). For this purpose we have been researching about another AI fields, such as planning, and techniques like SMT Solvers, that let us reason about time on discrete event models.
Currently: Software Engineering I
Events I'm assisting: