Mauro J. Jaskelioff

Mauro J. Jaskelioff
Teaching Assistant
Departamento de Computación
Facultad de Cs. Exactas, Ingeniería y Agrimensura
Universidad Nacional de Rosario

Email:
Phone: +54 341 4802656 - 116
Postal address: 250 Pellegrini Street, Rosario (2000), Argentina

Photos

Teaching:
Algorithms and Data Structures
Introduction to Informatics
Analysis of Programming Languages I
Analysis of Programming Languages II

About me: I have finished a 5-year Degree in Computing Science. I have done other activities that you can see below on this page. My interests are Program Transformation in Calculational Form, Generic Programming and more broadly Functional Programming and Formal Methods in general.

Curriculum vitae: Here you can download my curriculum vitae ( Brief / Full version) in order to know more about me.

Activities

Teaching:
I have tought in several courses of my Degree in Computing Science such as Algorithms and Data Structures, Analysis of Programming Languages I and II (Imperative and Functional), Introduction to Informatics and Computer Architecture. since the year 2000. For more information about my university course of study click here.
Research:
- Graduate Thesis: is available for download in (PS/PDF) format. My supervisor was Alberto Pardo.

Other Materials And Software

Self-Interpretation in Lambda Calculus: I gave a talk based on Mogensen's paper. The text of the talk can be found here and the slides can be found here (both in Spanish).
Representing Data in Lambda Calculus: Extracted from the above paper, for Analysis of Programming Languages II. This little guide can be found here.
Red-Black Trees/2-3-4 Trees Applet: Implemented using MLJ, a Standard ML compiler for the Java Virtual Machine. View it here.
Dynamics of Sorting Algorithms: A simple program that shows the dynamics of classical sorting algorithms. The source is here. Requires X and should be compiled with
```
gcc dyn.c -lm -lX11 -L/usr/X11R6/lib/
```
Replace /usr/X11R6/lib with the path to the X libraries in your system.