|
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
|