Profile

• Name: António Miguel Cruz
• Email: miguel.cruz at estg.ipvc.pt

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

• Assistant professor at ESTG - IPVC [http://www.estg.ipvc.pt/] since September 2005.
• Analyst/Consultant at Sidereus, SA [http://www.sidereus.pt/] from March 2001 until September 2005.
• Analyst/Consultant at Edinfor, SA [http://www.edinfor.pt/] from Feb 1994 until March 2001.
• Junior researcher at INESC [http://www.inesc.pt/] from March 1993 until Jan 1994.

• Software engineering using formal and semi-formal methods
• Formal Methods in Industry
• Program Calculi
• Code Generation
• Model driven Architecture
• UML and OCL
• Microsoft .Net technology
• Data Migration and ETL tools with a formal basis

• Modelação de processos e Levantamento e Modelação de Requisitos do Projecto do Portal Autárquico - Valimar Digital.
• 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.