• Adiunkt w Katedrze Podstaw Informatyki.
  • Urodził się 23 lutego 1969.
  • Maturę uzyskał w I Liceum Ogólnokształcącym im. E. Dembowskiego w Gliwicach.
  • Studiował filozofię na Katolickim Uniwersytecie Lubelskim (1987-1993) i informatykę na Uniwersytecie w Oxfordzie - Wadham College (1994-1995).
  • Doktorat uzyskał w 2000 roku na Wydziale Filozofii KUL na podstawie rozprawy Logika programowania a sylogistyka Arystotelesa napisanej pod kierunkiem prof. Z. Dywana, recenzenci: dr hab. Jan Waszkiewicz, prof. dr hab. Jan Zygmunt.
  • Habilitację uzyskał w 2012 roku na Wydziale Filozofii KUL na podstawie rozprawy "Aksjomatyczne systemy rachunku nazw"

 

Główne dziedzina zainteresowań to
  • logika komputerowa,
  • programowanie w logice,
  • teoria nazw,
  • analiza systemowa.

 

 

 

 

Autor: Piotr Kulicki
Ostatnia aktualizacja: 10.06.2015, godz. 22:52 - Andrzej Zykubek