Kaninda MUSUMBU Page d'Acceuil

Kaninda MUSUMBU's Home Page / Page d'Accueil

logo

Welcome to my home page. I am working in LaBRI( Laboratoire Bordelais de rechecher en Informatique). My research interest includes Static Analysis, Abstract Interpretation, Semantics , Programming Languages Design, Evolutionnary Programming, Category Theory, Combining Theorem-proving and Model-checking . I am a member of the ISCA (The international Society for Computers and their Applications).

Publications

Projects

I am involved in the following projects:
Entrez votre recherche

Please tell me if you have any trouble using it.
Last modified: Mon March 3 11:24:26 1997