Profile

• Name: António Miguel Cruz
• Email: mcz@sidereus.pt
• Consultant at Sidereus - Consultoria Informática, S.A.

Education

• MSc in Informatics (U. Minho) in Nov 2004.
• Graduated in Mathematics and Computer Science (U. Minho) in Dec 1993.

Professional Curriculum

• Analyst/Consultant at Sidereus, SA since March 2001.
• Analyst/Consultant at Edinfor, SA from Feb 1994 until March 2001.
• Junior researcher at INESC from March 1993 until Jan 1994.

Interest Areas

• Formal Methods in Industry
• Program Transformation
• Program Calculi
• VDM/VDM++
• Microsoft .Net technology
• Data Migration and ETL tools with a formal basis

Projects

• Objectification of Formal Specifications - MSc Thesis - PURe Project (Program Understanding and Reengineering: Calculi and Applications).
• KMig - Data Migration Tool fully specified in VDM++ at Sidereus, S.A.
• CRM - Customers Relationship Management - Application partially formally specified in VDM++, being the Datatypes fully specified. Developement in C# for web environments over MS SQL/Server databases.
• IKF Project (Information and Knowledge Fusion)
• SGCCE - Sistema de Gestão Comercial de Clientes Especiais (at Edinfor) - Comercial system for Customers' account management, Invoicing, Billing, etc. directed at EDP's big accounts' clients.

Related topics

• TWikiPreferences has site-level preferences of TWiki.
• WebPreferences has preferences of the TWiki.Main web.
• TWikiUsers has a list of other TWiki users.

Personal Preferences (details in TWikiVariables)

• Horizontal size of text edit box:
  • Set EDITBOXWIDTH = 70
• Vertical size of text edit box:
  • Set EDITBOXHEIGHT = 17
• Style of text edit box. width: 99% for full window width (default), width: auto to disable.
  • Set EDITBOXSTYLE = width: 99%
• Optionally write protect your home page: (set it to your WikiName)
  • Set ALLOWTOPICCHANGE = MiguelCruz