Sign In

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