Antonia Balaa

Organisation:	INRIA
Unité de Recherche:	Sophia Antipolis
Projet:	lemme
Téléphone:	(+334/04) 92 38 75 59
Fax:	(+334/04) 92 38 50 60
	Antonia.Balaa@sophia.inria.fr>

Soutenance de ma Thèse! Cheers

" Fonctions récursives générales dans le calcul des constructions "
INRIA - Sophia Antipolis, le 6 Novembre 2002.
Voici " ma thèse " au format postscript et bonne lecture.

Sujet de thèse :

J'ai effectué ma thèse à l'INRIA, au sein du projet Lemme, sous la direction de Yves Bertot. L'intitulé du sujet est: Etude de la définition de fonctions récursives générales en théorie des types inductives et construction d'outils de démonstration formelle pour raisonner sur ces fonctions.
Un aperçu peu détailé de mon travail: disponible en format postcript Résumé.

Activités de recherche:

Exposé à:
- TYPES 2000, Durham - Angleterre, décembre 2000. La Présentation en format postscript.
- JFLA 2002, Biarritz- France, janvier 2002. La Présentation en format pdf.
Participation à:
- École des Jeunes Chercheurs en Programmation, Lille-France, 22 Mars - 2 Avril 1999
- APPSEM 2000, Caminha - Portugal. Septembre 2000

Publications:

A.Balaa, Y. Bertot, "Fix-point Equations for Well-Founded Recursion in Type Theory " presenté à Portland, Oregon, Août 2000, lors de la 13ème édition de TPHOLs2000 (disponible en format postscript). In M. Aagaard and J. Harrison, editors, Proceedings of TPHOLs'00, LNCS 1869, p 1--16. © Springer-Verlag
A.Balaa, Y. Bertot, " Fonctions récursives générales par itération en théorie des types " presenté à Biarritz, France, Janvier 2002, lors des 13èmes journées francophones des langages applicatifs JFLA2002 (disponible en format postscript).

Enseignement:

Système AWK et Langage C en DEUG MASS2 à l' Université de Nice Sophia-Antipolis; en 1999-2000. (39h)
Base de Données en DEUG MI2 à l' Université de Nice Sophia-Antipolis; en 2000-2001. (29h)
Algorithmique et Structures de Données en DEUG MASS 2 à l' Université de Nice Sophia-Antipolis; en 2000-2001. (39h)
ATER (demi-poste) à l'IUT Génie des Télécommunications et Réseaux Sophia-Antipolis.

Travaux Pratiques de Système Informatique aux Premières Années. (42h)
Responsable du Module de Base de Données aux Années Spéciales, aux Alternances et aux Deuxièmes Années.(54h)
Travaux Pratiques du Langage C aux Premières Années. (20h)
Travaux Pratiques de Java aux Alternances. (20h)

Je suis actuellement en poste ATER (demi-poste) à l'IUT Génie des Télécommunications et Réseaux Sophia-Antipolis.

Le réseau RNIS
L'utilisation des logiciels TCP/IP
La configuration des cartes réseaux
Administration de Macintosh
Mise en oeuvre d'une sonde RMON2
Installation et Adminitration NT
Etude de modem FSK V.21/V.23
Mise en oeuvre de modems

 Adresse Personnelle :  en France                              au Liban 
                        Balaa Antonia                          c/o Balaa Antoine 
                        3353 Route de Laghet                   Zahlé - Hoch El Omara
                        06340 La Trinité                       B.P. 190 
                        France                                  LIBAN