next up previous
Next: About this document ...

Javier Miranda's Ada Corner
Applied Microelectronics Research Institute
University of Las Palmas de Gran Canaria
Canary Islands
Last Upgrade: December, 14, 2002

This page provides free documentation on the free GNU Ada Compiler (GNAT). Please, send to me an e-mail if you want to receive a notification as soon as this documentation is upgraded.

PLEASE, If you reference this book in your publications, send to me the full reference of your work and (if possible) a PDF or PS copy of your paper.

I welcome additional documents, papers, or references to enhance this document.

Enjoy !

Short Biography

Javier Miranda was born in 1965 in Canary Islands (Spain). He studied Computer Science Engineering at the University of Las Palmas de Gran Canaria. He finished his studies by implementing a Modula-2 compiler under the direction of José Fortes Gálvez.

In 1990 he went to the Technical University of Madrid (Department of Telematic Systems Enginnering --DIT) to do his PhD research under the direction of Angel Álvarez and Sergio Arévalo (in the Distributed Systems Research Group). In 1994 he finished his PhD thesis entitled ``Drago: A Language for Programming Fault-Tolerant and Cooperative Distributed Applications.

In 1997, he started a project to integrate Drago into the GNAT sources. This project was done in collaboration with his colleague Francisco Guerra (who implemented the required protocols by means of the Group_IO Ada Library), and the students Alexis Rodríguez and José Jerónimo Martín.

After the project he personally continued upgrading Drago to the next GNAT distributions. This book summarizes the experience achieved during these years.

next up previous
Next: About this document ...
Javier Miranda 2002-12-14