Paulo Carreira

Current

• Prof. Auxiliar at Instituto Superior Técnico (DEI)

Past

• Senior Software Engineer at Oblog Consulting S.A.
• Research grantee at INESC-ID
• Research engineer at Oblog Software S.A.

see less...

Education

• Universidade de Lisboa
• Faculty of Sciences of the University of Lisbon
• University of Gdansk, Poland

• Universidade de Lisboa

see less...

1 more...

Recommended

2 people have recommended Paulo

Connections

130 connections

Industry

Computer Software

Paulo Carreira’s Experience

• Prof. Auxiliar

  Instituto Superior Técnico (DEI)

  (Higher Education industry)

  February 2009 — Present (6 months)

  Teaching Software Engineering.

• Senior Software Engineer

  Oblog Consulting S.A.

  (Privately Held; Computer Software industry)

  July 2002 — January 2009 (6 years 7 months)

  Technical lead Data Migration of tools. Worked in very large scale data migration project using ‘Data Fusion’ in the Portuguese Banking industry and Public Administration.

• Research grantee

  INESC-ID

  (Non-Profit; Information Technology and Services industry)

  February 2006 — December 2006 (11 months)

  Worked with the Data Management and Information Retrieval group in several questions related to data transformation for data cleaning

• Research engineer

  Oblog Software S.A.

  (Privately Held; 11-50 employees; Computer Software industry)

  October 1999 — June 2002 (2 years 9 months)

  Integration of automated static software verification technologies into OBLOG's Object-Oriented development framework.

Paulo Carreira’s Education

• Universidade de Lisboa

  PhD , Computer Science (Databases) , 2003 — 2007

  With Honors (Aprovado com Distinção e Louvor). Thesis entitled “Mapper: An Efficient Data Migration and Transformation Operator”. Advised by Prof. Helena Galhardas (Tech. Univ. of Lisbon) and co-advised by Prof. Mário Silva (Univ. of Lisbon). Thesis juri: Prof. Felix Naumann (Univ. of Potsdam, Germany), Prof. Henrique Madeira (Univ. of Coimbra), Profs. Antónia Lopes (Univ. of Lisbon), and André Falcão (Univ. of Lisbon).
  
  Selected Publications:
  Carreira, P., Galhardas, H., Lopes, A. & Pereira, J., “One-to-many Data Transformations through Data Mappers”, Data & Knowledge Engineering Journal (DKE), 62(3), 483–503, Elsevier-Science, 2007.
  
  Carreira, P., & Galhardas, H., "Efficient development of data migration transformations", Proc. of the ACM Conference on the Management of Data, SIGMOD'04, 2004.

• Faculty of Sciences of the University of Lisbon

  MSc , Computer Science , October 1998 — June 2000

  Thesis: “Automatic Verification of OBLOG specifications” with honors.
  
  Resulted on an international journal paper:
  Paulo Carreira and Miguel Costa, “Automatically Verifying an Object-Oriented Specification of the Steam-Boiler System ”, Science of Computer Programming (SCP) Journal, 197-217, 46(3), Elsevier-Science. February 2003.
  
  Work developed for the Neural Computing course resulted on an international conference paper:
  J. Neto, J. F. Costa, P. Carreira, and M. Rosa. “A compiler and simulator for partial recursive functions over neural networks”, Ahmad Lotfi and Jonathon M. Garibaldi (eds), Applications and Science in Soft Computing, Springer-Verlag, 2004. ISBN 3540408568.

• University of Gdansk, Poland

  Distributed and Parallel Systems August 1997 — August 1997

  Activities and Societies:

  Center of Supercomputing of the University of Gdansk
  (European Socrates Student Exchange Program)

• Universidade de Lisboa

  BSc (4-year) , Computer Science , 1993 — 1997

Additional Information

Paulo Carreira’s Honors:

Best student paper award at ICEIS 2007.
Nomination for best paper award at SBBD 2005 (2nd of three nominations)