María del Mar Marcos López
| Contact | Research |
e-Mail: marcos AT icc.uji.es Office: TI-2106-DD, Robotic Intelligence Laboratory, Universitat Jaume I Address: Avda. Vicente Sos Baynat s/n, E-12071, Castelló, Spain Tel: +34 964 728 288 Fax: +34 964 728 486 Personal Web Page: http://www.keg.uji.es
Some of my research interests stem from my past research (my PhD subject), which was the verification and validation of knowledge-based program supervision systems. I aminterested in the study and application of the program supervision task and other related ones, mainly the planning task. Regarding the verification and validation of knowledge-based systems, I am interested in methodologies making use of available techniques, and alsoin the verification and validation of properties in connection with thetask that the system is required to perform. I am also interested inissues --V&V and others-- arising when considering compositional development frameworks for knowledge-based systems.
My current research deals mainly with the problem of quality improvement of medical protocols. In connection with this subject, I am interested in protocol representation languages suitable for the description of medical knowledge, and in methods allowing for the systematic verification and validation of protocols. I have worked on the Protocure assessment project, exactly about this topic. Currently I am working on the EU funded project Protocure II, the next phase of the former Protocure.
