---++ Profile
	* Name: António Miguel Cruz
	* Email: mcz@sidereus.pt
	* Consultant at [[http://www.sidereus.pt/][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 [[http://www.sidereus.pt/][Sidereus, SA]] since March 2001.
	* Analyst/Consultant at [[http://www.edinfor.pt/][Edinfor, SA]] from Feb 1994 until March 2001.
	* Junior researcher at [[http://www.inesc.pt/][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 - [[http://wiki.di.uminho.pt/twiki/bin/view/PURe/WebHome][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.
	* [[http://wiki.di.uminho.pt/twiki/bin/view/IKF/WebHome][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 [[http://www.edp.pt][EDP]]'s big accounts' clients.

__Related topics__
	* %TWIKIWEB%.%WIKIPREFSTOPIC% has site-level preferences of %WIKITOOLNAME%.
	* %WEBPREFSTOPIC% has preferences of the %WIKITOOLNAME%.%WEB% web.
	* %MAINWEB%.%WIKIUSERSTOPIC% has a list of other TWiki users.

__Personal Preferences (details in %TWIKIWEB%.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 %TWIKIWEB%.WikiName)
		* Set ALLOWTOPICCHANGE = Main.MiguelCruz