|
Naukowiec. Ur. w 1953 we Wrocławiu. Absolwent Instytutu Matematycznego Uniwersytetu Wrocławskiego (1977). W czasie studiów zwiazany był ze studenckim ruchem teatralnym (teatr Kalambur), reżyser i autor sztuk. W 1979 otrzymał doktorat i podjał pracę na Uniwersytecie Wrocławskim jako adiunkt w Instytucie Logiki i Metodologii Nauk. W Kanadzie od 1982. W latach 1983-1986 wykładowca na uniwersytach Carlton (Ottawa) i Queen's (Kingston, Ontario). Od 1986 profesor na wydziale Computer Science uniwersytetu York (Toronto). Zajmuje się tam m.in. sztuczną inteligencją, logiką formalną i matematyczną. Autor wielu publikacji naukowych i książek, jak: Dramaty (Silcan House, 2000). Wspólnie z J. T. J. Srzednickim (Z. Stachniak edytor). Lesniewski's Systems: Protothetic, Kluwer Academic Publishers (1998), Resolution Proof Systems: An Algebraic Theory, Kluwer Academic Publishers (1996). Wspólnie z J. T. J. Srzednickim S. Lesniewski's Lecture Notes in Logic. Nijhoff International Philosophy Series, 24. Kluwer Academic Publishers (1988). Introduction to Model Theory for Lesniewski's Ontology. Acta Universitatis Wrat. 586, Logic 9 (1981). |
