| Zawód | informatyk, matematyk, badacz, logik |
|---|---|
| Urodzenie | 1977 |
| Instytucje | Uniwersytet Warszawski |
| Wykształcenie | Uniwersytet Warszawski |
| Nagrody | Presburger Award |
| Promotor doktoratu | Igor Walukiewicz, Andrzej Mostowski |
| Członek | European Association for Computer Science Logic |
Źródła: Wikidata (CC0) · Wikidata Q24698912