En la edición de este año de las Jornadas SISTEDES, tendremos la oportunidad de disfrutar de numerosas charlas invitadas y mesas redondas que esperamos que os resulten a todos muy interesantes. Aquí tenéis los detalles por orden cronológico.
- Título
- Procesos de evaluación, selección y seguimiento en la Agencia Estatal de Investigación (transparencias)
- Resumen
- Se hablará sobre los procesos que se llevan a cabo en la AEI para evaluar y seleccionar las actividades que solicitan financiación, tanto de la Agencia como de otras instituciones públicas y privadas. La finalidad es que los recursos se asignen a los mejores proyectos y personas, siguiendo procedimientos análogos a los de otras agencias internacionales. Se explicarán los procedimientos y los criterios de evaluación, incluyendo algunos casos prácticos. También se explicará el importantísimo papel de los Paneles Científicos y el de los colaboradores externos en todos estos procesos.
- Ponente
Victoria Ley Vega de Seoane es doctora en Bioquímica y Biología Molecular por la Universidad Autónoma de Madrid, realizó su tesis doctoral en el Centro de Biología Molecular Severo Ochoa y estancias posdoctorales en el New York University Medical Center (New York, USA) y en el Institute Pasteur (Paris, Francia). A la vuelta a España se incorporó como Investigadora titular en Instituto Nacional de Investigaciones Agrarias, trabajando en el campo de la virología molecular, respuesta inmune, y detección de virus. Ha realizado estancias como investigadora visitante en el European Molecular Biology Laboratory (Heidelberg, Alemania) y en el United Sates Department of Agriculture (EEUU). Durante el periodo 2003 a 2012 fue la directora de la Agencia Nacional de Evaluación y Prospectiva (ANEP). En 2013, inicia una nueva línea de trabajo en el ámbito de la actividad física y su asociación con enfermedades crónicas. En 2017 se incorpora a la Agencia Estatal de Investigación (AEI) como responsable de la división de Evaluación, Coordinación y Seguimiento Científico y Técnico. La función fundamental es identificar los mejores proyectos, investigadores, infraestructuras y otros recursos, que deban ser financiados por la AEI.
- Título
- Security in an API-driven world
- Resumen
- APIs are everywhere. You use them every day to listen to the radio, connect to your bank, or program your thermostat at home. But here is the thing: APIs are the doors to enterprises sensitive data. Millions of doors, not always properly secured. The huge amount of APIs, the speed at which they are delivered, and cultural issues lead to massive security vulnerabilities. There are solutions though, but it will take developers, security and operation teams to work together. Let’s discuss how !
- Ponente
Isabelle Mauny has more than 20 years of experience in the integration field. She spent most of her career at IBM in various roles (presales, services, product management). She started working on services and APIs more than 10 years ago and introduced in Europe the first XML gateways. For the past 2 years, Isabelle has been the CTO of 42Crunch, a company dedicated to bringing API Security to the commodity level. She has spoken at many API-focused conferences as well as in several WSO2 and IBM conferences.
- Título
- La Ingeniería en la Informática
- Resumen
- En muchos foros internacionales está abierto el debate sobre los aspectos científicos e ingenieriles de la Informática. Este debate tiene importantes consecuencias en la formación de los informáticos, en el enfoque de las líneas de investigación en informática, en el papel de los informáticos en el mercado laboral y en su aportación al desarrollo económico. Hay un conjunto de preguntas a las que nos gustaría responder: ¿Existe un método en la Ingeniería del cual podamos aprender los informáticos? ¿Los problemas que abordan los ingenieros tienen algunas características específicas? ¿Cuál sería el objetivo de la formación de los informáticos? ¿La investigación en Ingeniería tiene detalles diferentes distintas a las de la investigación en general? ¿Qué tipo de transferencia de conocimiento distingue a la Ingeniería?
- Ponentes
-
Javier Aracil Santonja 
Miguel Toro Bonilla 
Mario Piattini Velthuis 
Arantza Illarramendi (moderadora)
- Título
- Métodos Formales en la Práctica de la Ingeniería Informática
- Resumen
- Desde su aparición en los años 1970 con los primeros trabajos sobre verificación y derivación formal de programas, los métodos formales se han desarrollado notablemente en el entorno académico, tanto desde el punto de vista teórico, como en forma de herramientas que facilitan su aplicación. Dichas herramientas cubren un amplio espectro de técnicas, que van desde el análisis estático de programas, la verificación de propiedades de modelos concurrentes, la verificación de modelos de lenguajes orientados a objetos, los asistentes de demostración, y los entornos de verificación asistida de programas, entre otras.
Sin embargo, es cuestionable que todas o parte de estas técnicas y herramientas deban aplicarse en la práctica diaria de la ingeniería informática. La mesa redonda y el debate posterior pretenden dilucidar hasta que punto están maduras las técnicas y la formación de los profesionales informáticos para obtener provecho real de dichas técnicas y herramientas. También se pretende debatir en qué dirección debe orientarse la profesión en relación con los métodos formales, y las consecuencias que ello tendría para la formación de los futuros ingenieros informáticos. - Ponentes
-
Esteban Morillo 
Ricardo Peña 
Ernest Teniente 
Paqui Lucio (moderadora)
- Título
- El Uso de Maude en el Diseño y el Análisis Formal de Sistemas Basados en la Nube
- Resumen
- Los sistemas basados en la nube son sistemas distribuidos complejos cuyo diseño presenta varios retos. Primero de todo, como en otros sistemas distribuidos, es difícil detectar errores solo por “testing” dado su no-determinismo. En segundo lugar, muchos de estos sistemas, por ejemplo sistemas de datos distribuidos del tipo “key-value store”, que son usados de forma masiva, deben estar disponibles con alto rendimiento y con respuesta rápida. Pero propiedades de calidad de servicio de este tipo son difíciles de evaluar antes de que el sistema se haya implementado; y es también difícil comparar sistemas distintos implementados en lenguajes y plataformas diferentes. La charla presentará la experiencia ganada estos últimos años en colaboración con otros colegas y estudiantes en las Universidades de Illinois en Urbana-Champaign y de Oslo sobre el uso de Maude en el diseño y el análisis formal por medio de chequeo de modelos, tanto de propiedades lógicas —como por ejemplo propiedades de consistencia en sistemas de datos— como propiedades de rendimiento y calidad de servicio. Esta experiencia sugiere que es posible explorar con rapidez y fácilmente diversas alternativas en el diseño de un sistema, y obtener un diseño de calidad en el que errores de diseño se pueden detectar mucho antes que siguiendo métodos tradicionales. En particular, propiedades lógicas y de rendimiento se pueden explorar antes de que el sistema sea implementado. Las propiedades lógicas se pueden verificar usando el comando search de Maude y sus diversas herramientas de chequeo lógico de modelos. Las propiedades de rendimiento y calidad de servicio se pueden verificar usando teorías de reescritura probabilísticas y la herramienta PVeSta de chequeo estadístico de modelos.
- Ponente
José Meseguer received his Ph.D. in Mathematics from the University of Zaragoza, Spain. He is Professor of Computer Science at the University of Illinois at Urbana-Champaign (UIUC). Prior to moving to UIUC he was a Principal Scientist at the Stanford Research Institute (SRI), after having held postdoctoral positions at the University of California at Berkeley and IBM Research. He was also an Initiator Member of Stanford University’s Center for the Study of Language and Information (CSLI). Meseguer has made fundamental contributions in the frontier between mathematical logic, executable formal specification and verification, declarative programming languages, programming methodology, programming language semantics, concurrency, and security. His work in all these areas, comprising over 375 publications, is very highly cited. His contributions to security include fundamental concepts such as no-interference, browser security verification, new algorithms and verification techniques to defend systems against Denial of Service (DoS) attacks, and new symbolic techniques to analyze cryptographic protocols modulo complex algebraic properties that have been embodied in the Maude-NPA Protocol Analyzer. He is the creator of rewriting logic, a very flexible computational logic to specify concurrent systems. The present rewriting logic bibliography has over 1,000 publications. The Maude rewriting logic language is one of the most advanced and efficient executable formal specification languages worldwide. It supports a wide range of formal analyses, including symbolic simulation, search, model checking, and theorem proving. It is also an advanced declarative concurrent language with sophisticated object-oriented features and powerful module composition and reflective meta-programming capabilities. He, his collaborators, and other researchers have used Maude and its tool environment to build sophisticated systems and tools, and to specify and analyze many systems, including cryptographic protocols, network protocols, web browsers, cloud computing systems, cyber-physical systems, models of cell biology, executable formal semantics of programming and software modeling languages, formal analyzers for conventional code, theorem provers, and tools for interoperating different formal systems. He has given numerous invited lectures at international scientific meetings and has taught advanced courses on his research at leading American, British, German, Spanish, Italian, and Japanese universities and research centers. He has also served in numerous program committees of international scientific conferences and as editor of various scientific journals.
- Título
- La Explotación Industrial del Trabajo Académico: Lecciones Aprendidas
- Resumen
- Marco, como profesor, investigador en proyectos de grandes consorcios empresariales y emprendedor, aportará una visión muy clara de la relación entre la industria y la universidad a través de las lecciones aprendidas durante su dilatada experiencia en la explotación industrial de su trabajo.
- Ponente
Marco Brambilla es profesor de Ingeniería del Software en el Politécnico de Milán. Sus actuales actividades de I+D están relacionadas con la Web, Análisis de Big Data y medios sociales y Desarrollo Dirigido por Modelos. Es inventor de IFML (Interaction Flow Modeling Language) adoptado como estándar por la OMG. Tiene dos patentes relacionadas con crowdsourcing y búsquedas multi dominio. Ha participado en diversos proyectos europeos de diferentes programas marco. Es socio y mentor científico de WebRatio, una compañía italiana que nació como spin-off y que comercializa fundamentalmente una herramienta de modelado de aplicaciones web que es un referente. También es fundador y mentor científico de Fluxedo, una startup relacionada con la colaboración social, la analítica de medios sociales y el análisis de big data.