alert Este sitio es una traducción automática de Educations.com. Para la versión en Inglés, haga clic aquí: educations.com
Mostrar Educations.com como: Móvil

Máster Universitario en Métodos Formales en Informática

Universidad Autonoma de Madrid
1 año
Tiempo completo medio Tiempo
Maestría
Madrid
English
September to July
UAM Campus

Descripción del Máster Universitario en Métodos Formales en Informática

Máster Universitario en Métodos Formales en Informática

La creciente dependencia de los sistemas de software de la mayoría de los sectores de la industria hace que sea necesario garantizar que el software sea absolutamente confiable y resistente a los ataques externos. En esta maestría, los estudiantes aprenderán métodos para garantizar la corrección del software desarrollado, confiando en técnicas formales y matemáticas adecuadas: los llamados métodos formales.

Esta maestría es un esfuerzo conjunto entre los principales expertos en la región de Madrid en estos temas, incluidos investigadores de las universidades Autónoma, Complutense y Politécnica. El título abarca temas sobre métodos formales, como teoría de lenguajes de programación, análisis estático, modelos de concurrencia, pruebas formales, ingeniería basada en modelos, verificación asistida, análisis de programas concurrentes y distribuidos, diseño correcto por construcción, y sobre matemática. Técnicas para tipos de aplicaciones específicas, como aprendizaje automático, algoritmos bioinspirados y computación cuántica. Además, el máster posibilita realizar estancias en grupos de investigación o empresas.

Requisitos de admisión

Esta maestría aceptará graduados en Ingeniería Informática, Ingeniería de Software, Ingeniería Informática, Tecnología de la Información y Sistemas de Información con un gran interés en el rigor matemático, la confiabilidad y la formalización de los problemas informáticos, así como graduados de títulos equivalentes y de Diplomatura conjunta con informática y matemáticas. Las solicitudes también son bienvenidas de los graduados en Ingeniería Técnica para Administración de Computadoras, Sistemas de Computación u otros graduados en ciencia o tecnología, con la capacitación complementaria apropiada. Una licenciatura en ciencias de la computación o disciplinas relacionadas, como se describe anteriormente. B2 certificado de ingles.


Does this course require proof of English proficiency?

The TOEFL® test is accepted by 10,000+ universities and higher education institutes in over 150 countries. Book your test today!

Learn more Advertisement

Solicitud de información - sin compromiso

¿Quieres saber más sobre este programa, Máster Universitario en Métodos Formales en Informática? Rellene el siguiente formulario e incluya cualquier pregunta que tenga. Esta información será enviada directamente a la escuela, y un representante responderá a su consulta.

Universidad Autonoma de Madrid

Universidad Autonoma de Madrid

Universidad Autonoma de Madrid

La Universidad Autónoma de Madrid (UAM) fue fundada en 1968 y tiene dos campus, Cantoblanco y la Escuela de Medicina, en el norte de Madrid. La Universidad Autónoma de Madrid está organizada en siete escuelas, que incluyen: Artes y Filosofía,...


Leer más sobre: ​​Universidad Autonoma de Madrid

Información de contacto para Universidad Autonoma de Madrid

Universidad Autonoma de Madrid

Ciudad Universitaria de Cantoblanco
28049 Madrid
Spain

 Mostrar el número de teléfono
www.uam.es

Request information

¿Quieres saber más sobre: ​​Máster Universitario en Métodos Formales en Informática? Rellene el siguiente formulario e incluir cualquier pregunta que tengas. Esta información se enviará directamente a la escuela, y un representante le responderá a su consulta.

Reviews

No hay comentarios.

Una mano usa un iPad que se encuentra en un mapa de América

¡Gana un iPad!

¡Responda nuestra encuesta y participe para ganar un nuevo iPad para sus estudios! Su respuesta ayudará a los futuros estudiantes a encontrar su oportunidad perfecta para estudiar en el extranjero.

Quiero un iPad

Prueba de carrera - encuentra tu carrera perfecta

Haga nuestro examen de carrera gratuito que lo combinará con programas y carreras basadas en sus intereses y personalidad.

Tomar el examen