Introduction to Mathematical Theory of Programs,
Introduction to Reliable Programming,
Methods of Program Testing,
Methods of Program Verification,
various introductory and advanced programming courses,
laboratory of programming,
directing master theses and term projects.
Annual reviews and reports, self-study for Computer Science program
evaluation, securing the CSAB/CSAC
re-accreditation, cooperation with industry, curriculum revision,
departmental budget, faculty recruitment, strategic planning, outcomes
assessment, teaching assignments, supervision and periodic evaluations
of staff, other administrative duties. Accomplishments:
established Computer Science Advisory Board, obtained funds for and
organized the first Computer Science laboratory,
negotiated with university administration on a plan for growth of
/ Annual reviews and reports, cooperation with industry, curriculum
revision, departmental budget, faculty recruitment, strategic planning,
teaching assignments, other regular duties including full time teaching
Accomplishments: Secured funds for
and established the "Distinguished Lecturer Series" for Computer
Science. Negotiated reduction of teaching load on behalf of
Initiated CSUDH faculty grass-root initiative that led to
transformation of CSUDH from teaching only institution to teaching and
and research institution. As a direct result of that initiative, annual
Research, Scholarship, and Creative Activity Award was
established at CSUDH in year 2000.
/ Obtained funds for and initiated Outstanding Student Research Award
and Outstanding Academic Achievement in Science Award programs,
initiated and organized the celebrated Annual CSUDH Sigma Xi Inductions
and Honors Reception, invigorated and expanded Chapter's activities,
secured steady growth of membership.
"On first-order logics of programs,"Proceedings
G. L. Meyer, W. J. Rugh (editors), John
Hopkins University (Baltimore 1981), pp. 100--103.
"Implementation of an Operating System with
Multi-level Asynchronous Processing of Interrupts" (in Polish,
co-authors: Bielecki, J., Iszkowski, W., Maniecki, M., Wigura,
A.), in Organizacja Maszyn Cyfrowych i Mikroprogramowanie, Vol 2, Polish
Scientific Publishers (Warsaw 1977), pp. 181--195.
Decidability of Some Problems Related to Artificial Intelligence," presented
AMS 2003 Spring
Western Section Meeting, Special Session on Beyond Classical
Boundaries of Computability III, San Francisco, California, May 3-4,
"Graph Semantics vs. Tree Semantics for Common
Knowledge in Distributed Systems," presented at the 28th Southeastern
Boca Raton, Florida, March 3 - 7, 1997
"Preservation Properties in Nonmonotonic Logics,"
presented at UCLA
Colloquium, Los Angeles, California, April 22, 1994.
"Alternative Computations of Minimal Consequences
in Indefinite Deductive Data Bases," presented at 2nd
Workshop on Structural Complexity and Recursion-theoretic Methods in
Logic Programming, International Symposium on Logic Programming,
Vancouver, British Columbia, October 29, 1993.
"Calculating Kripke models for distributed systems"
(co-author: Henrietta Okeke), presented at 3rd Annual Artificial
Intelligence Symposium, Long Beach, California, June 18 - 19, 1992,
also in Proceedings
of the 3rd Annual Artificial Intelligence Symposium, California
State University (1992), pp 69--78.
"On Applications of Model-Theoretic Forcing to the
Theory of Minimal Models," presented at UCLA Logic Colloquium,
"Sieves of Eratosthenes, Kripke Models, and
Distributed Knowledge Bases," an invited address, presented at 3rd
Annual Ulam Mathematics Conference, West Palm Beach, Florida, March
19 - 20, 1992.
"On reasoning from closed world data bases with
disjunctive views" (co-author: Rajshekhar Sunderraman), presented
at Workshop on Logic Programming and Nonmonotonic Logic,
Proceedings of the
Workshop on Logic Programming and Nonmonotonic Logic, North
American Conference on Logic Programming (1990), pp 132--149.
"Homomorphisms in Semantics of Deductive Data
Bases," presented at Conference on Algebraic Logic in Honor of
Don Monk, Boulder, Colorado, May 28 - June 1, 1990.
"A Syntactic Characterization of Transitive
Closures," presented at The Inaugural Conference of the Ulam Quarterly, West
Palm Beach, Florida, February 17 - 19, 1990.
"Software diagnosing in circumstances of
incomplete information," presented at XV AIAA Technologyfest,
"Negation as sure failure," presented at Workshop
Analysis, Kansas State
University, Manhattan, Kansas, May 23 - 26, 1988.
"On generalizations of the closed world assumption
in deductive data bases," presented at Fourth Southeastern
Logic Symposium, Columbia, South Carolina, March 24 - 25, 1988.
"Forcing in Artificial Intelligence,"
presented at the Third Southeastern Logic Symposium,
Charleston, South Carolina, March 7, 1987.
"Non-monotonic derivations which preserve
pragmatic truth," presented at International Symposium on
Methodologies for Intelligent Systems, Knoxville, Tennessee, October
1986, also in Proceedings of the ACM
SIGART International Symposium on Methodologies for Intelligent
Systems, Colloquia Program, Zemankova M., Emrich M. L. (editors), ORNL-6362
(Oak Ridge National Laboratory
1987), pp 69--74.
"Gamma-meaningful theories vs. partial correctness
of programs," presented at Colloquium on Computation Theory,
"Forcing treatment of incomplete information in
databases," presented at International Symposium on Model
Theory in Foundations of Computer Science, Budapest, Hungary,
September 10 -
"Compactness problems in defining semantics,"
short communication at International Congress of Mathematicians,
August 16 -
24, 1983, p.
book: M. R. Genesereth, N. J. Nilson, "Logical Foundations
of Artificial Intelligence" (co-author: James H. Thomas), Morgan Kaufmann Publ. (Los Altos CA,
1987), in Mathematical
Reviews (1990 e), rev. no. 90e:68001, pp 2920--2921.
Logical foundations of
Artificial Intelligence nonmonotonic logics and their model theories
reasoning about distributed knowledge
deductive databases and logic programming
knowledge representation & processing
Computer Science analysis of algorithms
computability & undecidability theory
Science programming in the small
software correctness, testing
real-time operating systems
first episode "Austria
of the movie my wife and I shot in Europe in the Summer of 2011. Disclaimer:
Various advertisements, images, and links before and after the said
episode have at times been attached to
it by youtube.com without my knowledge and consent and I neither
am I responsible for these advertisements, images and the contents of
these links. Anybody who
activates and plays the video below willfully assumes sole risk of
viewing these advertisements and images, and being exposed on the
contents of these links.
The university I got all my post-secondary education from and was on
faculty (my Institute still keeps my name on a short
employees) of for 15 years after my
graduation, the Warsaw
University of Technology, or
- in Polish - Politechnika
Warszawska, has been Poland's oldest, highly selective (with my
Problemów Techniki, being the highest-selective academic
unit at the time I was admitted there in
and - indisputably - most prestigious institute of