Pracownik
profesor uczelni
Sprawowane funkcje:
Dyrektor Instytutu Informatyki
Koordynator zespołu badawczego - Teoretyczne podstawy informatyki
Zainteresowania badawcze:

Logiki komputerowe. 

Prowadzone zajęcia:

Teoretyczne podstawy informatyki, złożoność obliczeniowa. 

Przejdź do treści