| Zvanje: | redoviti profesor u trajnom zvanju |
| Lokacija: | 228 (2. kat) |
| Telefon: | (01) 4605 746 |
| Telefon kućni: | 5746 |
| E-mail: | |
| Zavod/služba: | Zavod za matematičku logiku i računarstvo |
diplomski
integrirani prijediplomski i diplomski
Konzultacije su utorkom u 10 sati ili po dogovoru. Konzultacije se dogovaraju mailom.