DESArrollo Formal de sistemas y servicios beneficiosos para la sOciedad TEC-2024/COM-235
DESAFíO-CM plantea la realización de al menos dos workshops o sesiones especiales dentro de algunas conferencias del área de verificación, análisis y lenguajes de programación, y dos escuelas de verano (al final del segundo y tercer año del programa, respectivamente). Estas acciones servirán tanto para dar difusión a los resultados del proyecto, como de formación para los investigadores predoctorales de los grupos, ya estén a cargo del programa o no, y podrán ser una buena oportunidad para que los contratados postdoctorales participen como ponentes. La formación y divulgación se completará con la organización de un ciclo de seminarios y MOOCs dirigidos a investigadores de los grupos que conforman el consorcio, así como a estudiantes de grado, postgrado y doctorado.
Adicionalmente, se prevé la realización de doctorados industriales, así como la posibilidad de la realización de prácticas en empresa por parte de alumnos de grado, máster y doctorado. El objetivo es que, además de recibir formación en la empresa, estos alumnos sirvan de puente entre los grupos de investigación que participan en DESAFíO-CM y la propia empresa asociada.
Microcredencial Universitaria en Análisis y Visualización Interactiva de Datos: Creación de Informes y Dashboards con Power BI
Dirigida por David Granada y Juan Manuel Vara
Página de la microcredencial en URJC
Microcredencial Universitaria en Automatización Inteligente de Procesos y Tareas con Power Automate
Dirigida por David Granada y Juan Manuel Vara
Página de la microcredencial en URJC
Introducción a la IA y las tecnologías para la optimización de procesos en la URJC:
Cursos de formación para PTGAS en URJC:
Mejora del Proceso de Integración de Estudiantes Universitarios:
Los grupos que conforman el programa DESAFíO-CM reciben numerosas visitas de investigadores prestigiosos (tanto nacionales como internacionales). En este contexto, el programa DESAFíO-CM incluirá de forma regular, como parte de sus actividades de formación, conferencias invitadas abiertas a todos los miembros del programa. Las conferencias llevadas a cabo en este marco son:
Alastair Donaldson
Imperial College London
3 de Octubre de 2025, 10:00 – 11:00
Sala de Grados- Facultad de Informática (Universidad Complutense de Madrid)
I will provide an overview of three projects that explore the idea of using coverage-guided fuzzing, a technique traditionally used for finding bugs in software, in unconventional domains: Efficiently solving SMT formulas that use floating-point constraints; Achieving fast SMT sampling for such formulas; Simulating operational memory models. In each case, the idea is to reduce the problem at hand into a reachability problem: transforming a problem instance into a program equipped with a special error location, such that finding an input that reaches the error location equates to finding a solution to the problem instance. Coverage-guided fuzzing, which excels at mutating a corpus of inputs to achieve increasing statement coverage of a system under test, can then be used to search for an input that reaches the error location—i.e., for a solution to the problem instance. We hope this overview will inspire other researchers to consider recasting search problems into a reachability problem form where coverage-guided fuzzing may prove effective.
Alastair Donaldson is a Professor in the Department of Computing at Imperial College London where he is Director of Research and leads the FastPL Group, investigating novel techniques and tool support for programming, testing and reasoning about high performance systems and their programming languages. He was Founder and Director of GraphicsFuzz Ltd., a start-up company specialising in metamorphic testing of graphics drivers, which was acquired by Google in 2018, after which he spent time working with Google as a software engineer and then as a Visiting Researcher. He was the recipient of the 2017 BCS Roger Needham Award and an EPSRC Early Career Fellowship, and has published more than 100 articles in the fields of programming languages, formal verification, software testing and parallel programming. Alastair was previously a Visiting Researcher at Microsoft Research Redmond, an EPSRC Postdoctoral Research Fellow at the University of Oxford and a Research Engineer at Codeplay Software Ltd. He holds a PhD from the University of Glasgow, and is a Fellow of the British Computer Society.