Michael Kifer

Rank/Position Title:

Professor

Home Page:

http://www.cs.sunysb.edu/~kifer

Date of original appointment to this faculty, followed by dates and ranks of advancement:

September 1984.

Degrees:

Conferences, workshops, and professional development:

2004:

• Intl. World Wide Web Conference, New York, NY
• Intl. Comference on Logic Programming, St. Malo, France

2003:

• Intl Conf on Ontologies, Databases and Applications of Semantics, Catania, Italy
• Jornadas de Ingeniería del Software y Bases de Datos, Alicante, Spain
• Intl. Semantic Web Conference, Sanibel Island, FL
• DARPA DAML Workshop, Miami, FL, and Sanibel Is., FL
• RuleML Workshop, Sanibel Is., FL

2002:

• Intl. Conference on Very Large Data Bases, Hong Kong
• Intl. Conf. on Ontologies, Databases, and Applications of Semantics, Santa Cruz, CA
• ONTOWEB Workshop, Innsbruck, Austria

Other related computing experience:

University of Toronto , 1992-3, visiting professor

Department, college, and/or university committee membership:

Graduate Program Committee, Library Committee, Web Committee

Principal publications of the last five years.

Books:

• M. Kifer, A. Bernstein, P. Lewis, "Databases: An application-Oriented Approach – Complete Version", Addison-Wesley, April 2005.
• M. Kifer, A. Bernstein, P. Lewis, "Databases: An application-Oriented Approach – Introductory Version", Addison-Wesley, April 2004.
• P. Lewis, A. Bernstein, M. Kifer, ``Databases and Transaction Processing: An Application-Oriented Approach,'' Addison-Wesley, July 2001.

Papers:

• M. Kifer, R. Lara, A. Polleres, C. Zhao, “A Logical Framework for Web Service Discovery},'' Semantic Web Services Workshop, November 2004, Hiroshima, Japan.
• G. Yang and M. Kifer, ``Reasoning about Anonymous Resources and Meta Statements on the Semantic Web,'' Journal of Data Semantics, 2004.
• H. Davulcu, M. Kifer, I.V. Ramakrishnan, ``CTR-S: A Logic for Specifying Contracts in Semantic Web Services,'' 13th International World Wide Web Conference (WWW2004), 2004.
• S. Mukherjee, H. Davulcu, M. Kifer, P. Senkul, G. Yang, ``Logic Based Approaches to Workflow Modeling and Verification,'' in Logics for Emerging Applications of Databases, eds. J. Chomicki, R. van der Meyden and G. Saake, Springer-Verlag, 2003.
• G. Yang and M. Kifer, ``Inheritance and Rules in Object-Oriented Semantic Web Languages,'' in Rules and Rule Markup Languages for the Semantic Web (RuleML03), Springer Verlag, LNCS 2876, 2003.
• G. Yang, M. Kifer, ``Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases,'' Intl. Conference on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBASE), October, 2002.
• Springer Verlag, Lecture notes in Computer Science. P. Senkul, M. Kifer, I.H. Toroslu, ``A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints'', Intl. Conference on Very Large Data Bases (VLDB), Aug., 2002.
• H. Davulcu, G. Yang, M. Kifer and I.V. Ramakrishnan, ``Computational Aspects of Resilient Data Extraction from Semistructured Sources,'' Proceeding of PODS, May 2000.

Other scholarly activity: grants, sabbaticals, software development, etc.:

• A System for Discovering Bioengineered Threats by Knowledge Base Driven Mining of Toxin Data, US Army/BNL
• A Deductive Engine for the Semantic Web, NSF
• Logic-based modeling and analysis of workflows, NSF

Scientific, professional, and honor societies of which you are a member:

ACM, ALP

Honors and awards:

• 1999 Test of Time award from ACM-SIGMOD
• 2002 Test of Time award from ACM-SIGMOD
• 2002 Faculty Service Award

Courses taught this and last academic year term-by-term

Academic advising: 8

Assigned advisor for --- undergraduate students during 2004/2005 academic year.

Brief description of major research and scholarly activities:

Databases, knowledge-based systems, Semantic Web, Web info systems.