Sheila McIlraith's Home Page

Sheila McIlraith

Knowledge Systems Lab

Stanford University

Sheila has moved to the Department of Computer Science, University of Toronto .

Sheila McIlraith is a senior research scientist in the Knowledge Systems Lab, Department of Computer Science at Stanford University. She is the Technical Lead on KSL's DAML-Enabled Web Services Project. She is also the Technical Lead on KSL's NASA Sponsored project on Modeling, Analysis and Control of Hybrid Systems, and on KSL's research effort in Partition-Based Logical Reasoning. Her principal areas of research are:

diagnostic problem solving (diagnosis, testing and repair) of discrete and hybrid (discrete + continuous) dynamical systems
knowledge representation and reasoning for the semantic web, including ontologies
model-based programming of next-generation web agents, and complex NASA space systems
detecting and exploiting structure in logical theories to improve the efficiency of reasoning
reasoning about action and change
mathematical foundations of knowledge representation and reasoning

Recently, she has been leading three exciting projects:

Further Information

Brief Bio
Selected Papers
Professional Activities
Other Useful Links

Workshops I'm co-chairing in 2002

Third International Cognitive Robotics Workshop
E-Services and the Semantic Web Workshop

Contact Information

Knowledge Systems Laboratory
Gates Sciences Building, 2A-248
Stanford University
Stanford, CA 94305-9020
Phone: (650) 723-7932
Fax: (650) 725-5850
E-mail: sam@ksl.stanford.edu
URL: http://www.ksl.stanford.edu/people/sam
Admin: Jennifer Espinoza, Phone: (650) 723-1740

Searchable Map of Stanford Campus

Last modified: Thu May 1 11:22:13 PDT 2003