Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange


Interested in the following topic and technologies:

  • Unicode
  • XML
  • Standard XML formats (e.g. DITA, XLIFF, SVG, …)
  • HTML5 as a portable UI interface platform
  • Isabelle/Isar/HOL
  • Pure Prolog
  • SML
  • Ada
  • Document authoring and management

Planning to have experiments in:

  • XML document authoring (text, not data oriented)
  • Generation of Ada and/or ISO‑C programs from Isabelle/HOL proofs
  • Program sources authoring with two‑ways traceability between sources and specifications
  • Publishing commercial applications in the Ubuntu software Centre

My active websites are:

  • France
  • Member for 4 years, 11 months
  • 0 profile views
  • Last seen May 20 '18 at 16:52