This is my old web page. Go to www.di.uminho.pt/~jacome to see the new one.

Welcome!

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.

Projects

• HaMealy: a component's library
  
  Version 0.1 (01/06/2007) tested with GHC 6.4.2: HaMealy

• HaExcel: map spreadsheets into relational databases and back
  
  Version 0.1 (22/07/2008) tested with GHC 6.8.2.
  
  A svn repository is available to download the source code.
  
  A more detailed description and an online tool can be found in here.
  
  The paper From Spreadsheets to Relational Databases and Back (submitted) has a detailed description of the work.

Personal Information

• Name: Jácome Cunha
• E-mail: jacome at di.uminho.pt
• Phone: +351 253 604470
• Address:
  
  Departamento de Informática
  
  Universidade do Minho
  
  Campus de Gualtar
  
  4710-057 Braga
  
  Portugal
  
  
• Public key: B792 17F1 E77E F77A 44AE 089A 1D3C C647 2409 75EB

Activities

• I am member of the executive board of the University of Minho ACM Sigplan Student's Chapter.
• In the last year I was member of the executive board of Grupo de Estudos de Matemática e Ciências da Computação, an association of Mathematics and Computer Sciences students.

• Personal/Jacome Web
• Create New Topic
• Index
• Search
• Changes
• Notifications
• Statistics
• Preferences

• Main Webs

•  DI
•  EL
•  Education
•  Events
•  JoseLuisSilva
•  Personal
•  Research

Personal/Jacome Web Preferences

The following settings are web preferences of the Personal.Jacome web. These preferences overwrite the site-level preferences in TWiki.TWikiPreferences and Main.TWikiPreferences, and can be overwritten by user preferences (your personal topic, eg: TWikiGuest in the Main web).

Web Preferences Settings

These settings override the defaults for this web only. See full list of defaults with explanation. Many of the settings below are commented out. Remove the # sign to enable a local customisation.

• List of topics of the Personal/Jacome web:
  • #Set WEBTOPICLIST = Changes | Index | Search | Go

• Web-specific background color: (Pick a lighter one of the StandardColors).
  • Set WEBBGCOLOR = #D0D0D0
  • Note: This setting is automatically configured when you create a web

• Image, URL and alternate tooltip text of web's logo.
  Note: Don't add your own local logos to the TWikiLogos topic; create your own logos topic instead.
  • #Set WEBLOGOIMG =
  • #Set WEBLOGOURL = WebHome
  • #Set WEBLOGOALT = My web page

• List this web in the SiteMap. If you want the web listed, then set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Use links that include the name of the web, i.e. Personal/Jacome.Topic links.
  Note: Unlike other variables, the setting of SITEMAPLIST is not inherited from parent webs. It has to be set in every web that is to be listed in the SiteMap
  
  • Set SITEMAPLIST = on
  • Set SITEMAPWHAT = Jácome Cunha
  • Set SITEMAPUSETO = ...collaborate on
  • Note: Above settings are automatically configured when you create a web

• Exclude web from a web="all" search: (Set to on for hidden webs).
  • Set NOSEARCHALL =
  • Note: This setting is automatically configured when you create a web

• Prevent automatic linking of WikiWords and acronyms (if set to on); link WikiWords (if empty); can be overwritten by web preferences:
  • #Set NOAUTOLINK =
  • Note: You can still use the [[...][...]] syntax to link topics if you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.

• Default template for new topics for this web:
  • WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
  • TWiki.WebTopicEditTemplate: Site-level default topic template

• Comma separated list of forms that can be attached to topics in this web. See TWikiForms for more information.
  • Set WEBFORMS =

• Users or groups who are not / are allowed to view / change / rename topics in the Personal/Jacome web: (See TWikiAccessControl). Remove the # to enable any of these settings. Remember that an empty setting is a valid setting; setting DENYWEBVIEW to nothing means that anyone can view the web.
  • #Set DENYWEBVIEW =
  • #Set ALLOWWEBVIEW =
  • #Set DENYWEBCHANGE =
  • #Set ALLOWWEBCHANGE = JacomeCunha
  • #Set DENYWEBRENAME =
  • #Set ALLOWWEBRENAME = JacomeCunha

• Users or groups allowed to change or rename this WebPreferences topic: (e.g., TWikiAdminGroup)
  • #Set ALLOWTOPICCHANGE = JacomeCunha
  • Set ALLOWTOPICRENAME = JacomeCunha

• Web preferences that are not allowed to be overridden by user or topic preferences:
  • Set FINALPREFERENCES = NOSEARCHALL, ATTACHFILESIZELIMIT, WIKIWEBMASTER, WEBCOPYRIGHT, WEBTOPICLIST, DENYWEBVIEW, ALLOWWEBVIEW, DENYWEBCHANGE, ALLOWWEBCHANGE, DENYWEBRENAME, ALLOWWEBRENAME

• Set SKIN=nat

• Set SKINSTYLE = Independence
• Set STYLEBORDER = thin
• Set STYLEBUTTONS = on
• Set STYLESIDEBAR = left
• Set STYLEVARIATION = Subway
• Set STYLESEARCHBOX = off

• Set PAGETITLE = Jácome Cunha

• Set NATWEBLOGO =
  
  
  
  
  
  Jácome Cunha

• Set WEBLOGOURL = WebHome
• Set WEBLOGOIMG =
• Set WEBLOGOALT = My web page
• Set SITEMAPUSETO =

• Set WEBCOPYRIGHT = Copyright © by the contributing authors. Ideas, requests, problems? Send feedback

Help on Preferences

• A preference setting is defined by:
  3 or 6 spaces * Set NAME = value
  Example:
  • Set WEBBGCOLOR = #FFFFC0
• A preferences setting can be disabled with a # sign. Remove the # sign to enable a local customisation. Example:
  
  • #Set DENYWEBCHANGE = UnknownUser
• Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
  • When you write variable %WEBBGCOLOR% , it gets expanded to #D0D0D0
• The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
• You can introduce your own preferences variables and use them in your topics and templates.

Related Topics

• TWiki.TWikiPreferences, Main.TWikiPreferences - site-level preferences
• TWikiUsers - list of user topics. User topics can have optional user preferences
• TWikiVariables - list of common %VARIABLES%
• TWikiAccessControl - explains how to restrict access by users or groups

Tools

• Rename, move or delete this web:
  • Rename/move/delete web..., looking for references in all public webs - See also: ManagingWebs

Web Search

Search: \.*

Create New Topic in Personal/Jacome Web

Once you have created the topic, consider adding links in related topics to the new topic so that there are more ways people can discover it.