Maximiliano Cristiá

Professional

Head Professor
LCC - FCEIA - UNR

Director of the Software Engineering Group at CIFASIS

Curriculum Vitae

System Analysis (first semester)

Software Engineering (second semester)

Formal Models in Information Security (2003)

Research interests: formal methods, software architecture and design, model-based testing, multi-level security, tool development to assist and automate software development.

Tool development

• {log} (setlog). Set-based programming language and satisfiability solver for set theory.
• Fastest 1.7. Model-based testing tool for the Z notation. It requires SWI-Prolog and Java to be already installed (it can also work with other versions of Prolog). In MS Windows systems, swipl.exe must be renamed to prolog.exe.
• Flowx. A multi-level Linux version implementing a noninterference model. Project co-founded by FONTAR.
• Repose. Rapid prototyping using office software.
• StateSim. Graphical Statecharts simulator.

Publications

Universidad Nacional de Rosario
Facultad de Ciencias Exactas, Ingeniería y Agrimensura
Departamento de Ciencias de la Computación
Pellegrini 250
(2000) Rosario
Argentina

+54 341 3631682

cristia -AT- cifasis-conicet.gov.ar