Investigación e proxectos
Investigación máis recente
- O contexto principal no que traballo son os sistemas
concorrentes e distribuidos, e a linguaxe funcional Erlang.
Agora mesmo, interésanme temas relacionados co testeo de
software, especialmente coas probas automáticas baseadas en
propiedades e modelos.
Estudo o uso de ferramentas como QuickCheck:
[Ferramenta orixinal para Haskell]
[Ferramenta comercial Quviq QuickCheck]
[Ferramenta open-source Trifork QuickCheck]
[Ferramenta open-source PropEr]
[Ferramenta para Java]
[Outra ferramenta para Java]
Proxectos
- Java Watermarking Tool (JWMTool). Unha ferramenta desenvolvida en Java, durante a miña estadía de tres meses na Universidade de Houston (Texas, E.U.A.) entre setembro e decembro de 2006.
