Adiunkt w Zakładzie Logiki i Kognitywistyki IFiS PAN, tłumacz literatury informatycznej (przełożył m.in. 12 książek). Opracowywał wiele słowników specjalistycznych, m.in. słownik terminologiczny polsko-angielski dla Głównego Urzędu Statystycznego, słownik synonimów języka polskiego, słownik morfologiczny języka polskiego. Współtwórca korektora językowego LanguageTool, w tym modułu wykrywającego błędy w języku polskim i angielskim.
