Fabienne Carrier Fabienne.Carrier@univ-grenoble-alpes.fr     Maître de Conférences at the Université de Grenoble-Alpes,     Member of the VERIMAG laboratory.     VERIMAG, 700 avenue Centrale, F-38401 Saint Martin d'Hères     Phone VERIMAG : (33)(0)4-57-42-22-09

Teaching interests

• Initiation to computer science
• Functional languages (OCAML)
  
  Algorithmique et Programmation Fonctionnelle :
  transparents du cours du parcours IMA
  page de l'UE INF201 en L1
  
• Algorithmics and programming languages
  
  programmation en C : UE PL1 en Master CCI
  
• Semantics and compilation
  
  Sémantique des Langages de Programmation et Compilation : UE SLPC en Master1 Informatique
  Travail Pratique SLPC, Master1, UJF
  Langage et compilation : CU ISN
  
• Introduction a la logique UE INF402 en L2
  
• Synchronous languages
• Hardware and software architecture
  
  

Books

• Architectures Logicielles et Matérielles , P. Amblard, J.-C. Fernandez, F. Lagnier, F. Maraninchi, P. Sicard, Ph. Waille.
  Dunod, Paris, 2000 (ISBN: 2100048937) [[details...épuisé]
  version en ligne

• Cours d'informatique, langages et programmation , P.-C. Scholl, M.-C. Fauvet, F. Lagnier, F. Maraninchi.
  Masson, Paris, 1993 (ISBN 2-225-84289-2) [abstract...]

• Exercices de programmation fonctionnelle en OCaml, F. Carrier, P. Lafourcade, L. Mounier
  ellipses, Paris, 2014 (ISBN 978-2-7298-87889) [site ellipses]

Research interests