Miguel Cruz




  • 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


  • 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

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)