 |
Charles PecheurLVL / INGI / ICTEAM
|
I am
professor in the Dept.
Computer and Software Engineering
at Université
catholique de
Louvain in
Belgium, where I am leading the Louvain
Verification Lab. 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 où je dirige le Louvain
Verification Lab. 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.
