Jean-François Monin

Professor at University Joseph Fourier (Grenoble 1) , Verimag / DCS VERIMAG, Centre Équation 2, avenue de Vignate F-38610 GIÈRES Tél : (+33|0) 4 56 52 04 39     Fax : (+33|0) 4 56 52 03 40     Email :

Recent

• On defining McCarthy f91 in CIC (TYPES'2008, Torino, mar. 2008) Slides.
• Apero-reflexion (JFLA, Aix-les-Bains, jan. 2007) : pdf (in french), with a coq demo.
• Proof pearl: elementary inductive and integer-based proofs about balanced words.
  
• Proving termination using dependent types, presented at TFP'06.
  
• Defending the bank with a proof assistant, presented at WITS'06.
  

Teaching

• public
• authorized teachers

Research

• Publications
• Talks
• Book
• Developments
  • otags , a tags generator for emacs and vi
  • dependot , building a dot-graph of Makefile dependencies
• Formal proofs
• Internship topics
• Projects
  • Averroes (projet RNTL)
  • TYPES (coordination action in EU's 6:th framework programme)
  • Types, Processes and Applications to Security and Biological Systems (PRA, chinese-french academic cooperation)

Miscellaneous

• Maps Maps to the lab
  Map of Verimag web site