Skip to content

Paulo Matos

  • MSc.
  • Founder
  • Broadcom
  • 2PublicationsNumber of items in Paulo's My Publications folder on Mendeley.
  • 5Followers

Research interests

Satisfiability SolvingCompiler AlgorithmsSoftware Verification

About

I am running a Compiler Engineering Consultancy company based in Nuernberg, Germany. Interested in Programming Languages research, Compiler Engineering/Testing/Validation.

Groups

Followers (5)

Following (9)

Explore network

Publications (2)

  • Formal Methods and Software Engineering

    • Matos P
    • Fischer B
    • Marques-Silva J
    N/AReaders
    N/ACitations
    Get full text
  • Counting Models in Integer Domains

    • Morgado A
    • Matos P
    • Manquinho V
    • et al.
    N/AReaders
    N/ACitations
    Get full text

Professional experience

Founder

Broadcom

July 2015 - Present

Compiler Engineer

Broadcom Ltd

September 2012 - October 2015(3 years)

Compiler Engineer

CSR plc.

November 2009 - September 2012(3 years)

Student Researcher

School of Electronics and Computer Science, University of Southampton

October 2006 - November 2009(3 years)

Education

MSc Software Engineering

Instituto Superior Técnico

September 2004 - June 2006(2 years)

Lic. Software Engineering

Instituto Superior Técnico

September 1999 - July 2004(5 years)