Kaninda MUSUMBU Page d'Acceuil
Kaninda MUSUMBU's Home Page / Page d'Accueil
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).
I am involved in the following projects:
-
-
- Looking for new problems to solve.
Please
tell
me if you have any trouble using it.
Last modified: Mon March 3 11:24:26 1997