Estimados doctorandos, tutores y directores,

La Universidad de Sevilla ha desarrollado una aplicación informática para ayuda en la evaluación del Documento de Actividades del Doctorando (DAD) y el Plan de Investigación (PI), denominada RAPI.

El programa de doctorado de Ingeniería Informática participa en su puesta en marcha y experiencia piloto, como uno de los cinco programas de la USE seleccionados para ello. Como doctorandos, tutores y directores habréis recibido notificación de desde el Secretariado de Doctorado a este respecto. Todos tendréis acceso directo a RAPI a través de la secretaría virtual de la USE.

El programa de doctorado de Ingeniería Informática realizará la evaluación del DAD y PI a través de la citada herramienta, siguiendo los siguientes plazos:

• Doctorandos (DAD y PI): del 15 de Julio al 4 de Septiembre
• Tutores/directores: del 1 al 15 de Septiembre
• Comisión Académica: del 15 al 30 de Septiembre

Una vez evaluados favorablemente, los doctorandos deberán entregar en registro de la USE, la documentación y los informes favorables correspondientes, que la Comisión Académica emitirá. A partir de ahí, y una vez abierto el plazo, los doctorandos deberán renovar su matrícula de tutela académica (octubre 2015 – septiembre 2016).

La Comisión Académica recomienda a todos los doctorandos, sea cual sea el plazo en que se matricularon (Octubre o Marzo), que sometan a evaluación su DAD y PI durante el calendario antes mencionado, con el objetivo de ajustar los periodos de matricula al intervalo de un curso académico natural.

Para cualquier consulta técnica: rapi ARROVA us PUNTO es

RAPI: guía del doctorando.

Sevilla, 17 de Julio de 2017.

Comisión Académica del Programa de Doctorado de Ingeniería Informática.

Actividades susceptibles de ser incorporadas en el DAD:

• Asistencia a cursos y seminarios específicos
• Asistencia a conferencias del PD (Resumen)
• Publicación de artículos en revistas y conferencias
• Charlas impartidas / presentación de trabajos en congresos
• Realización/presentación de posters en congresos, jornadas, etc.
• ……

Conferencia Laura Lechuga (IC2N): El jueves 10 de septiembre de 2015, la Profesora de Investigación Dña. Laura Lechuga impartió una conferencia invitada titulada: “Nanophotonics Lab-on-a-chip devices for mobile diagnosis”. La Dra Lechuga Gómez, es una reconocida especialista a nivel internacional en el desarrollo de estructuras bio-sensoras y aplicaciones bio-analíticas, que van las moléculas de peso molecular bajo como los pequeños contaminantes, pesticidas o metabolitos y grandes biomoléculas como biomarcadores proteicos relacionadas con el cáncer y otras enfermedades relevantes desde el punto de vista médico. Expuso también las actividades y proyectos de su grupo de investigación en el ICN2. La Dra. Laura Lechuga Es Profesora de Investigación en el Instituto Catalán de Nanociencia y Nanotecnología (ICN2), CSIC-UAB, Barcelona.

Conferencia Jesús Giraldez Crú (Instituto de Investigación en Inteligencia Artificial (IIIA), Consejo Superior de Investigaciones Científicas. CSIC): “Beyond the Structure of SAT Formulas: Experiences of a PhD in Computer Science”.

In this talk, we summarize the main experiences of achieving a PhD in Computer Science. In a non-exhaustive list, we review some basic components of a pre-doctoral research, as the scheduling of the tasks, the search of bibliography or the publication of results, among others. In parallel, we summarize the main works in the field of this research, which is the Boolean Satisfiability problem (SAT) and its applications in real-world domains. SAT is one of the most studied problems in Computer Science since it is the first known NP-complete problem. However, besides its complexity, it is extensively used to solve practical applications (such as planning, scheduling or formal verification, among others). Modern SAT solvers have experienced a remarkable progress on solving these industrial (or real-world) SAT instances. Its success relies on the combination of some techniques, as conflict analysis, clause learning, non chronological backtracking, activity-based heuristics, lazy-data structures or rapid restarts.

Date: 25 June 2015.