Investigación y proyectos
Investigación más reciente
- El contexto principal en el que trabajo son los sistemas
concurrentes y distribuidos, y el lenguaje funcional Erlang.
Actualmente, me intereso por temas relacionados con el testeo de
software, especialmente la prueba automática basada en
propiedades y modelos.
Estudio el uso de herramientas como QuickCheck:
[Herramienta original para Haskell]
[Herramienta comercial Quviq QuickCheck]
[Herramienta open-source Trifork QuickCheck]
[Herramienta open-source PropEr]
[Herramienta para Java]
[Otra herramienta para Java]
Proyectos
- Java Watermarking Tool (JWMTool). Una herramienta desarrollada en Java, durante mi estancia de tres meses en la Universidad de Houston (Texas, EE.UU.) entre septiembre y diciembre de 2006.
