| Dr. Grit Denker is a senior Computer Scientist at SRI International. She has been a computer scientist in the Computer Science Laboratory (CSL) of SRI International since 1998 and was promoted to senior computer scientist in 2005. Prior to joining SRI, she was an assistant professor at the Technical University of Braunschweig in Germany. She received her Ph.D. in computer science from the Technical University of Braunschweig in 1995. Dr. Denker is an expert in Semantic Web and Semantic Web services, policy languages, semantic models and reasoning, and specification and verification of communication and security issues of distributed systems. She has successfully executed on various Government projects, including clients such as DARPA, NSF, ONR, and AFRL and has also successfully interacted with commercial clients. Dr. Denker supported Shared Spectrum Company in Phase II of XG with her expertise on OWL and policy languages and is currently leading the implementation of an XG reasoning engine for Phase III of XG. She also cooperated with the Japanese telecommunication institute KDDI of a project designing and implementing a Public Key Infrastructure system. Other recent projects include an NSF project on &096;&096;Formal Checklists for Remote Agent Dependability'', and the DARPA-funded Group Inference project that developed languages, models, and tools for the analysis of secure group communication protocols. In the DARPA ActiveNets program, she has worked on the analysis of communication protocols and on interoperability of services employing semantic and logical mappings. Dr. Denker has an outstanding academic reputation. She has published over 60 papers in journals, conferences, and workshops and has served on dozens of program committees in the area of Semantic Web, reasoning, and security for distributed systems (see http://www.csl.sri.com/users/denker for a list of publications). |