Sign In
Get Clay Free →

Suggestions

    Vitor Rodrigues

    Research Scientist at Vortex-CoLab

    Vitor Rodrigues is a dedicated professional with a strong background in software Verification & Validation and firmware development. With a keen interest in Static Analysis, Theorem Proving, and Model Checking, Vitor is well-versed in a variety of programming languages including Assembly, C, C++, C#, Java, Haskell, OCaml, and Python. His academic journey includes a PhD in Static Analysis by Abstract Interpretation, a Master's in Informatics Engineering focusing on Spacecraft Simulator design, and a degree in Electronics and Computer Engineering. Vitor has contributed his expertise to various esteemed organizations such as VORTEX-CoLab, Nuada, Università degli Studi di Torino, Rochester Institute of Technology, Université d'Orléans, European Space Agency, INESC Porto, and MOG.

    Highlights

    Dec 20 · Nature.com
    The geography of the age at menopause in central Portugal since ... - Nature.com
    The geography of the age at menopause in central Portugal since ... - Nature.com
    Dec 20 · Nature.com
    The geography of the age at menopause in central Portugal since ... - Nature.com
    The geography of the age at menopause in central Portugal since ... - Nature.com
    Vitor Rodrigues
    Add to my network

    Location

    Porto, Porto, Portugal