Notre domaine principal est, en calcul formel, le traitement symbolique des systèmes d'équations différentielles. Le domaine d'application privilégié de nos méthodes est la modélisation en biologie.