 |
Charles PecheurDept.
INGI Place
Sainte-Barbe 2 Room : REAUMUR a.211 E-mail : charles.pecheur (at) uclouvain.be +32-10-47 87 79 (direct) |
| Job vacancies : PhD Research positions in computer science |
I am
professor in the Dept.
Computer and Software Engineering
at Université
catholique de
Louvain in
Belgium. I am interested in formal methods and automated verification,
and related aspects of software engineering. I
was
born in
Liège,
Belgium, and lived and studied there until I
obtained my
PhD from Université
de
Liège. Then
I went on a post-doctoral fellowship at INRIA
in Grenoble, France,
before I crossed the Atlantic to join the Automated
Software Engineering Group at NASA
Ames in California. I
came back to Belgium and Louvain-la-Neuve
in 2004. I am married
and
father
of
two.
Je
suis
professeur au sein du département
d'ingénierie informatique
à l'Université
catholique de Louvain
en Belgique. Je m'intéresse aux méthodes
formelles et
à la vérification automatique, et aux aspects
connexes du
génie logiciel. Je suis né à
Liège
en Belgique et j'y ai vécu et fait mes études
jusqu'à obtenir mon doctorat de l'Université
de
Liège. J'ai ensuite
suivi un séjour post-doctoral
à l'INRIA
à
Grenoble en France avant de traverser l'Atlantique
pour rejoindre l'Automated
Software Engineering Group
à NASA
Ames en Californie. Je suis
revenu vers la Belgique et à Louvain-la-Neuve
en 2004.
Je suis marié et deux fois papa.