¿Qué quieres aprender?

Máster Universitario en Métodos Formales en Ingeniería Informática

Máster Universitario en Métodos Formales en Ingeniería Informática

Universidad Autónoma de Madrid

Máster presencial

Madrid


Precio a consultar

El desarrollo de software se enfrenta actualmente a grandes desafíos derivados de su omnipresencia en la sociedad. Dependemos de programas que controlan dispositivos, vehículos, transacciones bancarias, aparatos médicos, y muchas de nuestras actividades cotidianas.

¿Quieres hablar con un asesor sobre este curso?

Sedes

Localización

Fecha inicio

Madrid
Octubre 2022

Temario completo de este curso

Teoría de lenguajes de programaciónAnálisis estático de programas y resolución de restriccionesModelos de la concurrenciaMétodos formales de testingDesarrollo formal de software dirigido por modelosDiseño de algoritmos bioinspiradosAprendizaje automáticoVerificación asistida de programasAnálisis de sistemas concurrentes y distribuidosDiseño de sistemas correctos por construcciónComputación cuánticaPrácticas en empresas o grupos de investigaciónTrabajo fin de MásterTeoría de lenguajes de programaciónAnálisis estático de programas y resolución de restriccionesModelos de la concurrenciaMétodos formales de testingDesarrollo formal de software dirigido por modelosDiseño de algoritmos bioinspiradosAprendizaje automáticoVerificación asistida de programasAnálisis de sistemas concurrentes y distribuidosDiseño de sistemas correctos por construcciónComputación cuánticaPrácticas en empresas o grupos de investigaciónTrabajo fin de Máster
Ver más