Henri Lesourd

Bis 2008, Researcher (user interfaces for scientific systems), Universitaet des Saarlandes

Saarbruecken, Deutschland

Fähigkeiten und Kenntnisse

80x86
68000 Assembly languages
Basic
C
C++
ADA
Pascal Delphi
Java
Javascript
HTML
PHP
XML
LaTeX
SQL
Lisp
Scheme
Prolog
Scientific software (Maxima
Matlab
etc.)
Theorem provers (Mizar
Isabelle
Coq)
Scripting languages (Bash
Python)
OSS tools (CVS
GNU Toolchain
System administration (Linux
NT)

Werdegang

Berufserfahrung von Henri Lesourd

  • Bis heute 14 Jahre und 6 Monate, seit Dez. 2009

    Researcher (Allegro project)

    CoLi lab, Saarland University

    I develop the dialog engine of the Allegro software for computer assisted language learning.

  • 6 Monate, Dez. 2008 - Mai 2009

    Researcher (Intergeo project)

    DFKI

    I developed further the intergeo software

  • 2004 - 2008

    Researcher (user interfaces for scientific systems)

    Universitaet des Saarlandes

    I do research for developing new user interfaces for mathematical assistants. I am one of the lead developers of the Open Source project GNU TeXmacs.

Ausbildung von Henri Lesourd

  • 1996 - 2002

    Artificial intelligence

    University of Paris 6

    My PhD research in the domain of Software robots addressed the design and the implementation of a knowledge-based agent which is able to detect and correct some software failures in the UNIX environment.

Sprachen

  • Englisch

    Fließend

  • Französisch

    Muttersprache

  • Deutsch

    Gut

Interessen

Aikido
Running. Poetry
Music.

21 Mio. XING Mitglieder, von A bis Z