Cecilia ManzinoAssistant ProfessorDepartamento de ComputaciónFacultad de Cs. Exactas, IngenierÃa y Agrimensura Universidad Nacional de Rosario
Email: ceciliam@fceia.unr.edu.ar
Activities:
Teaching:
Analysis of programming languages Course for third year students.
Data structures and algorithms II Course for third year students.
Math complements II Course for quarter year students.
Programming II Course for first year students.
Research:
Graduate Thesis: ''Monadic Short Cut Deforestation'' (PS format) My supervisor was Alberto Pardo.
Shortcut Fusion of Monadic Programs
(Join work with Alberto Pardo)
Journal of Universal Computer Science, Vol. 14, No. 21, pp. 3431-3446 (Revised version of SBLP'08 paper)
A security types preserving compiler in Haskell
17th Brazilian Symposium on Programming Languages (SBLP 2014)
Master Thesis: ''Security preserving program translations'' (Thesis)