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
pardo [at] fing.edu.uy (pardo[at]fing[dot]edu[dot]uy)
mviera [at] fing.edu.uy (mviera[at]fing[dot]edu[dot]uy)
Acrónimo
MFPF
Instituto o Unidad
INCO
Responsable/s
Grado
5
Integrantes
