670
reputation
1
7
22

Hibou57

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:

15
answers
22
questions
~88k
people reached
  • France
  • Member for 6 years, 10 months
  • 99 profile views
  • Last seen Apr 6 at 7:48

Top tags (67)

Score 11
Posts 4
Posts % 11
Score 9
Posts 5
Score 5
Posts 8
Score 3
Posts 5
Score 2
Posts 2
Score 1
Posts 6

Top posts (37) All Questions Answers | Votes Newest

View all questions and answers

Badges (30)

Gold

1

Rarest

Silver

7

Rarest

Bronze

22

Rarest