Był wychowywany głównie przez matkę.
W 1968 roku zdał maturę w I Liceum Ogólnokształcącym im. Karola Marcinkowskiego. W 1973 ukończył studia matematyczne na Uniwersytecie im. Adama Mickiewicza (UAM), uzyskując tytuł magistra inżyniera. Doktorat obronił w 1977 roku na Uniwersytecie WarszawskimRozprawa doktorska zatytułowana: Hierarchie dla minimalnych beta-modeli dla arytmetyk wyższych rzędów., gdzie był uczniem Andrzeja Mostowskiego i Wiktora Marka. W 1982 roku ukończył jako drugi kierunek studia magisterskie z filologii romańskiej na UAM.
Działalność naukowa Był stypendystą Rządu Francji na Université d’Aix-Marseille II (1984)Praca pod kierunkiem profesora . oraz stypendystą Fundacji Alexandra von Humboldta na Uniwersytecie w BielefeldPraca pod kierunkiem profesora Dafydda Gibbona. i Université Paris VII (1987–1989). Następnie uzyskał stypendium badawcze post-doc Ministerstwa Badań Naukowych i Technologii Republiki Francji na Université Paris VII oraz Université Paris-Est-Marne-la-Vallée (1991–1992)Praca pod kierunkiem profesorów Richarda Zubera i . oraz stypendium badawcze PECO w Laboratoire d'informatique pour la mécanique et les sciences de l'ingénieur w Orsay (1993)Praca pod kierunkiem prof. Gérarda Ligozat..