9/12 TSE paper accepted: German Sibay, Victor Braberman, Jeff Kramer, and Sebastian Uchitel. Synthesising modal transition systems from triggered scenarios.
7/12 Grant awarded by UBACYT: “Especificación y análisis cuantitativo del uso de la memoria dinámica con foco en la escalabilidad y usabilidad”, Dr. Diego Garbervetsky.