190 reputation
10
bio website bulleforum.net
location France
age
visits member for 1 year, 11 months
seen Mar 1 at 5:30

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:


1
× 2
0
× 2
1
0
× 2
1
0
0
× 3
0
0
× 3
0
Stack Overflow 1,049 rep 11222
Ask Ubuntu 289 rep 312
Unix & Linux 190 rep 10
Computer Science 163 rep 7
Mathematics 135 rep 17

52 Votes Cast

all time   by type   month  
52 up 19 question 1
0 down 33 answer