Research and Projects

• Recent research
• 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.