Cursos de verano Departamento de Matemáticas Universidad de los Andes - Jorge Cuellar - Josep Carbonell - Ilya Pavlyukevick
Los cursos están dirigidos a matemáticos, físicos, ingenieros, economistas y estadísticos que trabajen en empresas líderes. Estudiantes de pregrado y posgrado de facultades o escuelas de matemáticas, física, ingeniería, economía, estadística o áreas afines.

Puede reservar su cupo en la página web del curso. Consulte también la página para información
más detallada sobre inscripciones, precios y contenidos.
- Poster -
El chequeo automático de modelos (model checking) es una de las aplicaciones más afianzadas de la lógica en contextos prácticos. El objetivo principal de este curso es entender cómo se puede verificar automáticamente que un protocolo o un sistema complejo cumple con ciertas propiedades deseadas de estabilidad, seguridad, confiabilidad etc.

> Más información
El método de los elementos finitos (MEF) es una de las técnicas computacionales más importantes para la solución numérica de ecuaciones diferenciales en derivadas parciales, como modelo de una gran cantidad de situaciones en física, ingeniería y economía. El curso va a presentar las ideas matemáticas básicas en las que se fundamenta el MEF y los métodos prácticos computacionales para su implementación.

> Más información
This summer course provides a well-motivated, comprehensive introduction to stochastic differential equations for Gaussian and non-Gaussian stochastic (Lévy) processes for a mixed audience. The stochastic dynamics of these processes is then studied by means of large deviation principles, first exit times and metastability.

> Más información