Teodor C. Przymusinski Ph.D.
Professor Emeritus, Computer Science and Engineering
Ph.D., Mathematics, Institute of Mathematics of the Polish Academy of Sciences in Warsaw, 1974
Research Specialization -Professor Przymusinski's primary domain of interests lies in the broad area of declarative knowledge representation in Artificial Intelligence. More specifically, he is interested in those aspects of knowledge representation that relate to commonsense reasoning, i.e., to the problem of finding suitable symbolic representation and efficient computer automation of human reasoning. The resolution of this problem is of fundamental importance to Artificial Intelligence, in particular, and to Computer Science as a whole. Specifically, much of his recent work was devoted to the issues of formalizing commonsense reasoning within the framework of logic programming and its extensions. Logic programming constitutes a relatively narrow domain of commonsense reasoning which is therefore easier to study and more efficient to implement. Consequently, logic programs provide fruitful test beds to study the highly complex issues involved in formalizing commonsense reasoning. The results of his studies led to the introduction of powerful extensions of the logic programming paradigm that allow much more expressive representation of commonsense knowledge.
Current research involves the efficient implementation of various programming language features related issues in operating systems: concurreny, protection and dynamic binding.
First Prize in the Polish Mathematical Society Competition for the best M.Sc. Thesis (The Marcinkiewicz Competition)
Scientific Award of the Institute of Mathematical Sciences of the Polish Academy of Sciences, 1979
Scientific Award of the Science Section of the Polish Academy of Sciences, 1980
Outstanding Contribution Award at the 1st Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'89), Toronto, May 1989
Calouste Gulbienkian Professor, Universidade Nova de Lisboa, Lisbon, Portugal, 1997
Founding member of the Center for Research in Intelligent Systems (CRIS) at UCR, 1998