Research and Projects
Investigación más reciente
- The core context of my work is concurrent and distributed
systems, and the Erlang functional language.
Nowadays, I am interested in software testing,
especially in property-based and model-based automatic testing.
Among other things, I study the use of tools such as QuickCheck:
[Original Haskell tool]
[Quviq QuickCheck comercial tool]
[Trifork QuickCheck open-source tool]
[PropEr open-source tool]
[Java tool]
[Another Java tool]
- Interview at ACM SIGPLAN International Conference on Functional Programming.
Edinburgh, 2009.
Personal projects
- Java Watermarking Tool (JWMTool). A tool developed in Java, during my three-month research stay at the University of Houston (Texas, U.S.A.) from September to December 2006.


