Paulo Carreira

Current

• Senior Software Engineer at Oblog Consulting S.A.

Past

• Researcher at IST/INESC-ID
• Research engineer at Oblog Software S.A.

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

115 connections

Industry

Computer Software

Paulo Carreira’s Experience

• Senior Software Engineer

  Oblog Consulting S.A.

  (Privately Held; 51-200 employees; Computer Software industry)

  July 2002 — Present (6 years 4 months)

  Development of tools for Data Migration.

• Researcher

  IST/INESC-ID

  (Computer Software industry)

  2005 — 2007 (2 years)

• 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)