|
CURRICULUM VITAE
1. Education
Goto TOP
2. Academic Experience (1973 -
present)
Years
|
Institution
|
Full Time Position / Courses
taught
|
2011 (May - June) |
Warsaw
School of Computer
Science |
European Union Human
Capital Programme Visiting Professor /
Programming
in Abstract Data Types.
|
1990 - present
|
California State University Dominguez
Hills
Department
of Computer Science
|
Professor
(tenured
in 1994) /
Analysis of Algorithms,
Data Structures,
Discrete Mathematics,
Finite Automata,
File Processing,
Operating Systems,
Programming Languages,
Artificial Intelligence,
Introduction to Computer Science and Programming I & II,
Introduction to Computers and BASIC Programming,
Computers and Society (Computer
Ethics),
Advanced Operating Systems (a graduate course),
Design and Analysis of Algorithms (a graduate
course),
Introduction to Computer Education.
|
1997 (Winter) |
Pepperdine
University
Natural Science Division Computer Science
|
Adjunct Professor
(part time) /
Operating Systems. |
1988 - 1990
|
Wichita State University
Department of Computer
Science
|
Associate
Professor /
Concepts of Computer Science,
Data Base Design,
Data Structures,
Debugging Techniques,
Small Systems Architecture,
directing master theses.
|
1987 - 1990
|
Wichita State University
National Institute for Aviation
Research
|
Associate.
|
1986 - 1988
|
Wichita State University
Department of Computer
Science
|
Visiting
Assistant Professor /
Data Structures,
Software Testing and Reliability.
|
1979 - 1988
|
Warsaw University of Technology
Institute
of Computer Science
(on leave 1986 - 1988)
|
Assistant
Professor /
Introduction to Mathematical Theory of Programs,
Introduction to Reliable Programming,
Methods of Program Testing,
Methods of Program Verification,
Software Engineering,
various introductory and advanced programming courses,
laboratory of programming,
directing master theses and term projects.
|
1973 -1979 |
|
Instructor,
Senior Instructor /
Various introductory and advanced programming courses,
laboratory of programming. |
Goto TOP
3. Service
A. Administrative
Years
|
Institution
|
Post / Responsibilities
|
2001-2002
1997-1998 |
California
State University
Dominguez Hills
Department
of Computer Science
|
Chairman /
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
computer science. |
1996 - 1997
|
California
State University
Dominguez Hills
Department
of Computer Science
|
Co-Chairman
/ Cooperation with industry, curriculum revision, departmental budget,
faculty recruitment, teaching assignments, other administrative duties.
Accomplishments: Negotiated rules for
teaching release for faculty unfunded research, secured steady growth
of enrollment.
|
1989 - 1990
|
Wichita State University
Department of Computer
Science
|
Chairman
/ Annual reviews and reports, cooperation with industry, curriculum
revision, departmental budget, faculty recruitment, strategic planning,
teaching assignments, other regular duties including full time teaching
and research.
Accomplishments: Secured funds for
and established the "Distinguished Lecturer Series" for Computer
Science. Negotiated reduction of teaching load on behalf of
research faculty.
|
1980 - 1986
|
Warsaw University of Technology
Institute of Computer Science
|
Member of
Executive Council /
Personnel and legislative affairs, advising to the Director of the
Institute.
|
B. Honorary
Years
|
Organization
|
Function / Accomplishments
|
1993 - 1998
|
Sigma Xi,
the Scientific Research Society
Dominguez Hills Chapter
|
Chapter
President
/ 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.
|
C. Other Professional
Goto TOP
4. Honors, Scholarships and
Awards
Year(s)
|
Name or Place
|
1995
|
Listed in "Who's Who in the World," Marquis (eds.), 13-th
edition, 1996
|
1995
|
Listed in "Who's Who in Science and
Engineering," Marquis
(eds.), third edition, 1996-97
|
1995
|
Listed in "Who's Who in Finance and
Industry," Marquis
(eds.), 29-th edition, 1996-97
|
1994
|
Listed in "Who's Who in America," Marquis (eds.), 49-th
edition, 1995
|
1993
|
Listed in "Who's Who in the West," Marquis (eds.), 24-th
edition, 1994-95
|
1983
|
Mathematical
Institute of Hungarian Academy of Sciences Scholarship
|
1982
|
Minister of Science, Higher
Education and Technology's Prize for textbook "FORTRAN for Advanced
Programmers"
|
1981
|
Minister of Science, Higher
Education and Technology's Prize for doctoral dissertation "Notes
on Computational Logic"
|
1979
|
Council of the College of
Electronics' Best Doctoral Dissertation Award
|
1975 - 1978
|
Warsaw University of Technology
Institute of
Computer Science Doctoral Scholarship
|
1967
|
Finalist of Polish Mathematical Olympiad
|
Goto TOP
5. Major Research
Support (excluding Summer and intramural grants)
Years
|
Amount
|
Title of project / Source
/ Position
|
1997 - 1997 |
$26,000 |
Expert
System Based Pilot Decision Support System / Mid-America
Consulting Group(a subcontractor from a NASA Small Business Technology
Transfer project NAS 2-97022 / Project
Director |
1988 - 1990
|
$262,525
|
Reconstruction of Runs of Real-Time
Programs / Federal Aviation
Administration DTFA03-86-C-0004 / Principal
Investigator.
|
1985 - 1986
|
ca. 250,000 zl
|
Mathematical model of a telecommunication
system / Gov. Project PR-3 / Project
Director
|
1984 - 1985
|
ca. 150,000 zl
|
Design
of Reliable Digital Telecommunication System via Satellite Link
Complying to HDLC Protocol / East European Commonwealth Program / Project
Director
|
1973 - 1976
|
ca. 110,000 zl
|
Design and
Implementation of Multitasking Operating System
for Minicomputer UMC-20 (PDP-11 comparable) / Investigator. |
6. Dissertations
- Ph.D. "Notes on Computational Logic" (in Polish, "O
Logice Obliczeniowej") Warsaw University of Technology
(1979), published by Wydawnictwa Politechniki Warszawskiej (1980), available in the Library of Congress , LC
control no. 81208760.
- M.Sc. "Design and
Implementation of Macroassembler
for Minicomputer UMC-20" (PDP-11 comparable), (in Polish) Warsaw
University of Technology 1973.
Goto TOP
7. Publications
A. Books
- "FORTRAN for advanced programmers," (textbook
in Polish, co-author: Jan Bielecki) Polish
Scientific Publishers (Warsaw 1981 [1st edition], 1983 [2nd
edition], and 1988 [3rd edition]).
- "ANS-FORTRAN," (textbook in Polish,
co-author: Jan Bielecki) Publishing House of Warsaw
University of Technology
(Warsaw 1979).
B. Journal Articles (Peer Refereed)
- "On Undecidability of Non-monotonic Logic," Studia
Informatica 1/2(7) (2006), pp 127--132.
- "Evaluation of Queries under the Closed-World
Assumption II: The Hierarchical Case," Journal
of Automated Reasoning
25 (2000), pp 247--289.
- "Evaluation of Queries under the Closed-World
Assumption I," Journal
of Automated Reasoning 18 (1997), pp 357--398.
- "Preservation Properties in Deductive Data Bases,"
Methods of Logic in Computer Science: An
International Journal 1 (1994), pp 315--338. PDF format available
here: PDF.
- "First-order syntactic characterizations of minimal
entailment, domain minimal entailment, and Herbrand entailment,"
Journal
of Automated Reasoning 10 (1993), pp 237--263.
- "Partial correctness without actual infinity,"
Studia Scientiarum Mathematicarum Hungarica 27
(1992), pp 159--167.
- "On negative information in deductive databases,"
an invited paper (co-author: Rajshekhar Sunderraman), Journal of Database Administration 1
(1990), pp 28--41.
- "Applications of Lyndon Homomorphism Theorems to
the theory of minimal models," International
Journal of Foundations of Computer Science 1 (1990), pp 49--59.
- "Non-invasive testing of real-time avionics
microprocessor systems" (co-authors: Xitong Zheng and Golam
Sarwar), Microprocessing and Microprogramming, The Euromicro Journal
27 (1989), pp 665--672.
- "Two applications of model-theoretic forcing to
Lipski's model of data base with incomplete information" Fundamenta
Informaticae 12 (1989) pp 269--288.
- "Compactness in logic of programs," Colloquia Mathematica Societatis
Janos Bolyai 42 (1985), pp 803--810.
- "Effective logic of programming language," Computational
Linguistics and Computer Languages
15 (1982), pp. 249--264.
C. Other Peer Refereed Publications
- "Sound
and Complete Propositional Nonnonotonic Logic of Hierarchically-Minimal
Models," in Proceedings of the Intelligent Information Systems 2000
Symposium, Bystra, Poland, June 12-16, 2000, Advances in Soft Computing, Physica-Verlag (2000) pp. 193-205.
- "Mesh Models of Knowledge in Distributed Systems,"
(co-author: Henrietta Okeke), in Proceedings of the Euromicro
Workshop on Parallel
and Distributed Processing, Gran Canaria, January 27 - 29,
1993, IEEE Computer Society
Press (1993), pp 113--120.
- "Test, measurement, and validation of
MIL-STD-1553B bus related software" (co-authors: Xitong Zheng and
Golam Sarwar), to appear in FAA Digital Systems Validation Handbook.
- "Closed world data bases with
views" (co-author: Rajshekhar Sunderraman), in Methodologies
for Intelligent Systems, 5, Z. W. Ras, M. Zemankova, Mary L.
Emrich (eds.), North-Holland
(1990), pp 182--192.
- "Incremental models of updating data bases,"
in Proceedings of Algebraic Logic and Universal Algebra
in Computer Science, Conference, Ames IA, June 1-4, 1988, Lecture Notes in Computer Science 425, Springer-Verlag (1990), pp
243--271.
- "A syntactic characterization of minimal
entailment,"
in Logic Programming, Proceedings of the North American Conference 1989, Ewing L. Lusk, and Ross A. Overbeek (eds.),
The MIT Press
(1989), pp 81--91.
- "Minimal models for closed world data bases,"
in Methodologies for Intelligent Systems, 4, Zbigniew W. Ras
(ed.), North-Holland (1989), pp
515--522.
- "Forcing versus Closed World Assumption," in Methodologies for Intelligent Systems, 2,
Z.W. Ras, M. Zemankova (eds.), North-Holland
(1987), pp 453--460.
- "On first-order logics of programs," Proceedings
of 15th Annual Conference on Information Sciences and Systems, G.
G. L. Meyer, W. J. Rugh (editors), John
Hopkins University (Baltimore 1981), pp. 100--103.
- "On proving properties of concurrent programs,"
Mathematical Models in Computer Systems, M.
Arato, L. Varga (editors), Publishing House of the Hungarian Academy of Sciences
(Budapest 1981), pp. 97--109.
- "Notes on Computational Logic"
(Ph.D. dissertation in Polish: "O Logice Obliczeniowej"), Prace
naukowe, Politechnika Warszawska, Elektronika; No. 50, pp 1--57, Wydawnictwa Politechniki Warszawskiej (1980),
available in the Library
of Congress, LC
control no. 81208760.
- "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.
D. Presentations (not listed elsewhere)
- "If Programming Is So
Easy Then Why It Is So Difficult?" (in Polish: "Jesli
Programowanie Jest Takie Latwe, To Dlaczego Jest Ono Takie Trudne?", video), an open lecture delivered at Warsaw School of Computer
Science under the auspices of the European Union Human Capital Programme, May 30,
2011.
- "On REALLY Big
Numbers," presented at Mathematics Colloquium, California State
University Dominguez Hills, Carson, California, April 23, 2008.
- "Complete Non-monotonic Autoepistemic Logic," presented
at Logic in Hungary,
Budapest, Hungary, August 5 - 10, 2005.
- "On Asymptotic
Computability," presented at Computer Science and
Mathematics Seminar, California
State University Dominguez Hills,
Carson, California, Fall 2004.
- "On Asymptotic
Decidability of Some Problems Related to Artificial Intelligence," presented
at AMS 2003 Spring
Western Section Meeting, Special Session on Beyond Classical
Boundaries of Computability III, San Francisco, CA, May 3-4, 2003.
- "Kripke Semantics
for Nonmonotonic Modal Logic," presented at Joint Computer
Science and Mathematics Seminar, California State University Dominguez Hills,
Carson, California, October 14, 2002.
- "Nonmonotonic Logic
of Public Knowledge in Distributed Systems," presented at the Institute for
Computer Science Seminar, Warsaw University of Technology, Warsaw, Poland,
June 7, 2000.
- "Nonmonotonic Logic
for Reasoning from Ignorance," presented at the Institute
of Foundations of Computer Science Seminar, Polish Academy of
Sciences, Warsaw, Poland, December 9, 1999.
- "Graph Semantics vs. Tree Semantics for Common
Knowledge in Distributed Systems," presented at the 28th Southeastern
Int'l Conference on Combinatorics, Graph Theory, and Computing,
Boca Raton, Florida, March 3 - 7, 1997
- "Indefinite Models and Parallel Positive Resolution
for Disjunctive Stratified Logic Programs," presented at the 6thInternational Workshop on
Nonmonotonic Reasoning, Timberline, June 9 - 12, 1996, also in
the Proceedings of the Workshop, pp 123--131.
- "Preservation Properties in Nonmonotonic Logics,"
presented at UCLA
Logic 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, 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,
Los Angeles, California, May 22, 1992.
- "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,
Austin, November 1 - 2, 1990, also in 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,
Wichita, November 10 - 12, 1988.
- "Negation as sure failure," presented at Workshop
on Categorical Aspects of Data Flow Analysis, Manhattan, May 23 -
26, 1988.
- "On generalizations of the closed world assumption
in deductive data bases," presented at Fourth Southeastern
Logic Symposium, Columbia, March 24 - 25, 1988.
- "Forcing in Artificial Intelligence,"
presented at the Third Southeastern Logic Symposium,
Charleston, March 7, 1987.
- "Non-monotonic derivations which preserve
pragmatic truth," presented at International Symposium on
Methodologies for Intelligent Systems, Knoxville, 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.
- "On asymptotic decidability of model-theoretic
forcing," presented at Fourth Hungarian Computer Science
Conference, Gyor, July 8 - 10, 1985, published in Research
Reports 63/85, Institute of Computer Science,
Warsaw University of Technology
(Warsaw 1985).
- "Gamma-meaningful theories vs. partial correctness
of programs," presented at Colloquium on Computation Theory,
Poznan, June 25 - 29, 1984.
- "Forcing treatment of incomplete information in
databases," presented at International Symposium on Model
Theory in Foundations of Computer Science, Budapest, September 10 -
14, 1984.
- "Compactness problems in defining semantics,"
short communication at International Congress of Mathematicians,
Short Communications, Section I: Mathematical Logic and the Foundations
of mathematics,
Warsaw, August 16 - 24, 1983, p. 23.
E. Non-refereed Publications
- "Notes on Nonmonotonic Autoepistemic Propositional
Logic," Zeszyty Naukowe
Wydanie Specjalne 6 (2011), pp 74 - 93, ISSN 1896-396X, Warsaw
School of Computer
Science.
- "Computers and Society," January
26, 2009.
- "Cantor’s proof , barber’s “paradox”, and Russell’s
contradiction", December 3, 2007
- "Minimal Perimeters of Tiled Areas", January
31, 2007.
- "Sequence
Semantics for Doxastic Logic," (with
Victor W. Marek), March 7, 2006.
- "Letter to the Bookshelf: Abel's Proof", American
Scientist Online, The Magazine of Sigma Xi, The Scientific Research
Society (2003).
- "Election
2000: A Probability Theory Argument That Settles the Presidential
Contest," Keep and Bear Arms (2000).
- "Technical Correspondence: A Brilliant Example" ,
Communications of
the A.C.M. 32/9 (1989), pp 1132--1133.
- "Floyd-Hoare implication is not uniformly
axiomatizable within non-standard dynamic logic," Research
Reports 59/83, Institute of Computer Science,
Warsaw University of Technology
(Warsaw 1983).
- "On pragmatic semantics of programming languages,"
Research Reports 57/83, Institute of Computer Science,
Warsaw University of Technology
(Warsaw 1983).
- "On axiomatizations of semantics of programming
languages," Research Reports 32/81, Institute of Computer Science,
Warsaw University of Technology
(Warsaw 1981).
- "A critique of Polish Standard of programming
language FORTRAN" (in Polish, co-author: Bielecki, J.), Research
Reports 22/81, Institute of Computer Science,
Warsaw University of Technology
(Warsaw 1981).
F. Reviews
- Review of the book: G. Antoniou, "Nonmonotomic
Reasoning", Artificial Intelligence Series, The MIT Press (1997),
in Bulletin of Symbolic Logic (2000), pp. 484--490.
- Review
of the 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.
- Review of the paper: M. L. Ginsberg,
"Counterfactuals," Artificial Intelligence 30 (1986), pp. 35--79,
in Zentralblatt für
Mathematik 655 (1989), rev. no. 03011, pp 13--14.
- Review of the paper: S. Hank, D. McDermott,
"Nonmonotonic logic and temporal projection," Artificial
Intelligence 33 (1987), pp. 379--412, in Zentralblatt für
Mathematik 654 (1989), rev. no. 68107, pp 374--375.
- Review of the paper: D.W. Etherington,
"Formalizing non-monotonic reasoning systems," Artificial
Intelligence 31 (1987), pp. 41--85, in Zentralblatt für
Mathematik 638(1988), rev. no. 68100, p. 376.
- Review of the paper: Rus, Teodor,
"Parsing languages by pattern matching," IEEE Trans. Softw. Eng. 14, No.4, 498-511 (1988),
in Zentralblatt für
Mathematik (1988), rev. no. 0654.68098.
- Review of the book: R. Murawski, "Philosophy of
Mathematics - An Anthology of Classic Texts," Polish Scientific Publishers
(Warsaw 1986), in Zentralblatt für
Mathematik 616(1987), rev. no. 00021, p. 4.
- Review of the paper: R.C. Moore, "Semantical
considerations on nonmonotonic logic," Artificial Intelligence 25
(1985), pp. 75--94, in Zentralblatt für
Mathematik 569 (1986), rev. no. 68079, pp. 333--334.
- Review of the paper:
G. Bossu, P. Siegel, "Saturation, nonmonotonic reasoning and the
closed-world assumption," Artificial Intelligence 25 (1985), pp.
13--63, in Zentralblatt für
Mathematik 569 (1986), rev. no. 68078, pp. 332--333.
- Review of the book: J.P. Roth, "Computer logic,
testing and verification," in Zentralblatt für
Mathematik 429 (1980), rev. no. 94028, pp. 570--573.
Goto TOP
8. Research and Interest
- Nonmonotonic logics and their model theories;
- Reasoning about distributed knowledge;
- Deductive databases and logic programming;
- Theoretical Computer Science;
- Discrete Mathematics;
- Ethics and deontic logic;
- Computational thinking.
Goto TOP
9. Avocations
Travel, modern music, belles-lettres, collectibles, outdoor sports
(ocean swimming, bike riding, target shooting).
Goto TOP
10. Alma Mater
The university I got all my post-secondary education from and was on
faculty 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 college being the
highest-selective academic unit at the time I was admitted in 1967),
and - indisputably - the most prestigious institute of
technology.
Here is a link to its history, a link
to a video
with beautiful music by its Academic Choir, and a photo of typical
inauguration of the Academic Year:
And here is a link
to a recent video
(live performance in Gdańsk by Coro Academia Concerto from Brasil) with Polish
ancient (750-years old) national anthem "Gaude Mater Polonia"
that is usually sung at the opening of the AY ceremonies at Polish
universities. I hope you enjoy listening to it - a pair of good
headphones would certainly help you catch the mood of the moment.
Goto TOP
|
|
|
|
|
|
|
|
|