Lisa Allali Doctorante - Equipe Typical (ex-Logical) Sous la direction de Gilles Dowek Bureau 00-1028 [mon prenom].[mon nom]@polytechnique.edu

Thèmes

• Théorie de la démonstration
  
• Déduction modulo
  
• Super cohérence
  
• Déduction supernaturelle
  
• Réécriture
  
• Théorie des types
  
• Calcul des Constructions Inductives
  
• L'assistant de preuves Coq
  

Articles

• Cut elimination in classical sequent calculus modulo a super-consistent theory (écrit avec Olivier Hermant)
• Inductives Types as Equation (écrit avec Paul Brauner) - draft
• A semantic normalization proof for system T (écrit avec Paul Brauner), version longue
• Algorithmic equality in Heyting Arithmetic modulo - à paraitre dans TYPES 2007 proceedings
• Algorithmic equality in Heyting Arithmetic modulo (version courte) - proceedings de HOR 2007
• Une extension conservative modulo de l'arithmetique de Heyting - rapport de master 2006

Présentations

• Juin 2008 : Exposé au séminaire Typical - Déduction modulo et coupures
  
• Mai 2007 : Exposé à TYPES - slides
  
• Septembre 2006 : Soutenance du mémoire de M2 - slides
  
• Avril 2006 : Séminaire déduction modulo (lri - logical - loria ...) - Présentation d'un article sur l'arithmétique en déduction modulo - slides
  
• Septembre 2005 : Soutenance du stage à Barcelone - slides
  
• Mars 2005 : Présentation de la thèse de Julien Allali : Modélisation et comparaison de la structure secondaire de l'ARN - slides
  
• Septembre 2004 : Soutenance du stage à Lille - slides
  

Enseignement

• 2006-2009 : Monitorat au muséum d'histoire naturelle
        Support pour le cours d'HTML
        Support pour le cours de Latex
  
  
• 2003-2004 : TP de LISP et d'Introduction à l'Informatique aux étudiants de 1ère année de MIASS au département informatique de l'université de Paris 8

Stages en laboratoire

•  2006  - mars/aout -  Palaiseau   ( Coq ) 
  L'égalité en arithmétique déduction modulo
  Equipe Logical - Département informatique de l'école Polytechnique
  Sous la direction de Gilles Dowek
  
  
•  2005  - juin/aout -  Barcelone ( C ) 
  Etude et implémentation d'algorithmes d'optimisation de placement
  Equipe Gavina - Group on Algorithms for VLSI Design Automation - Département LSI de l'Université Polytechnique de Catalogne
  Sous la direction Jordi Cortadella
  
  
• 2005 - mai -   Paris ( Caml )
  Implémentation d'algorithmes d'accessibilité sur les systemes de réécriture de processus sur automates d'arbres (à l'aide de Timbuk )
  Equipe Liafa
  Sous la direction de Mihaela Sighireanu et Tayssir Touili
  
  
• 2004 - juin/aout -  Lille ( JAVA )
  Plate forme SiMule - Systèmes multi-agents réactifs situés à large échelle (2004)
  Equipe SMAC - Lifl
  Sous la direction de Philippe Mathieu et Sébastien Picault
  

Formation

• 2004-2006 : Master Parisien de Recherche en Informatique (MPRI)
  
• 2003-2006 : Magistère STIC à L'Ecole Normale Supérieure de Cachan
  
• 2001-2003 : DEUG Miass à l'université Paris 8
  

Divers

• 2000-2001 : Une année en CDI chez Club-Internet (équipe d'intégration et de développement du portail de Club-Internet - HTML - Php - JavaScript )
  
• 1998-2002 : Licence de cinéma à l'université de Paris 8