Miguel Cruz
Program-Transformation.Org
Profile
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
Personal Preferences (details in TWikiVariables)
- Horizontal size of text edit box:
- Vertical size of text edit box:
- 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)