| Dziedzina | matematyka |
|---|---|
| Zawód | informatyk, wykładowca akademicki, matematyk |
| Urodzenie | 1941 |
| Śmierć | 2013 |
| Instytucje | Uniwersytet Warszawski |
| Wykształcenie | Uniwersytet Warszawski, I Liceum Ogólnokształcące im. Bartłomieja Nowodworskiego w Krakowie, Polska Akademia Nauk |
| Miejsce urodzenia | Kraków |
| Promotor doktoratu | Karol Borsuk |
| Najważniejsze prace | Mizar |
Źródła: Wikidata (CC0) · Wikidata Q4759721