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
![Profile picture for user pardo](/sites/default/files/styles/foto_53x53/public/default_images/user-no-photo.png?itok=CfAZgVAc)
Grado
5
Integrantes
![Profile picture for user mviera](/sites/default/files/styles/foto_53x53/public/pictures/perfil.jpg?itok=P6OJxvrL)
Grado
3
![Profile picture for user mmartine](/sites/default/files/styles/foto_53x53/public/default_images/user-no-photo.png?itok=CfAZgVAc)
Grado
3
![Profile picture for user jpgarcia](/sites/default/files/styles/foto_53x53/public/pictures/pedeciba.jpg?itok=38TLCUZB)
Grado
2
![Profile picture for user calderon](/sites/default/files/styles/foto_53x53/public/default_images/user-no-photo.png?itok=CfAZgVAc)
Grado
3
![Profile picture for user sierra](/sites/default/files/styles/foto_53x53/public/default_images/user-no-photo.png?itok=CfAZgVAc)
Grado
3