This is my old web page. Go to to see the new one.


I am currently a full time researcher under a PhD program (supported by the Fundação para a Ciência e a Tecnologia, Portugal, under grant number SFRH/BD/30231/2006) in the University of Minho. The work will be developed integrated in the LMF group and in the EPL group and has as title "Foundations of Spreadsheets" under supervision of João Saraiva and Joost Visser.

A few months ago I finished my 5 year undergraduate course on Mathematics and Computer Sciences. In the last year of this course, I implemented a library in Camila. This library implements a suite algebra of coalgebraic components. I am trying to finishing this work. In parallel, I am implementing a channel's library in Haskell.


  • HaMealy: a component's library

    Version 0.1 (01/06/2007) tested with GHC 6.4.2: HaMealy

Personal Information


r23 - 14 Jun 2011 - 21:48:12 - JacomeCunha
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback
Syndicate this site RSSATOM