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: