El Equipo de Métodos Formales y Programación Funcional se dedica al estudio de técnicas y metodologías de base lógico-matemáticas que hacen posible el desarrollo de software con un alto nivel de confiabilidad.
Líneas de investigación
- Programación Funcional.
- Programación a nivel de tipos.
- Técnicas formales para el desarrollo de software confiable.
- Técnicas para el desarrollo de type-safe EDSLs.
- Estudio y aplicación de mecanismos de formalización.
- Fusión de programas.
Contacto
Alberto Pardo (pardo[at]fing.edu.uy) Marcos Viera (mviera[at]fing.edu.uy)
Acrónimo
MFPF
Instituto o Unidad
INCO
Responsable/s
Grado
5
Integrantes
Grado
3
Grado
3
Grado
2
Grado
3
Grado
3