Researcher and Professor at
@ComputacionUBA / @Exactas Uba. Director of @icc uba conicet . I am interested in automatic program analysis.