W 1990 roku habilitował się na Wydziale Neofilologii UAM w zakresie nauk humanistycznych. W 1993 roku objął kierownictwo Zakładem Lingwistyki Informatycznej i Sztucznej Inteligencji na Wydziale Matematyki i Informatyki UAM. W latach 1998, 2000 i 2002 był profesorem wizytującym na Université Paris VII i Université Paris XI. W 2006 roku otrzymał tytuł profesora nauk technicznych w zakresie informatyki .
Opublikował jako autor lub współautor ponad sto oryginalnych prac badawczych, w tym artykułów w recenzowanych czasopismach międzynarodowych oraz sześć książek dotyczących lingwistyki komputerowej, inżynierii języka, sztucznej inteligencji i robotyki wirtualnej. Wśród jego zainteresowań znalazły się komputerowe technologie języka naturalnego oraz technologie w aplikacjach na rzecz bezpieczeństwa publicznego. Tworzył zasoby elektroniczne na potrzeby inżynierii języka naturalnego, m.in. POLEX, PolNex; ontologie typu WordNet (np. PolNet) Wersja zarchiwizowana., a także interfejsy w języku naturalnym do systemów informatycznych z kompetencją językową, m.in. POLINT, POLiNT-112-SMS. Jego wczesne prace dotyczyły podstaw matematyki i logiki matematycznej.