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

Feb 18 · linkedin

Fernando Nogueira #Kudos You always find a way to do fantastic work #GreatJob

Jul 31 · linkedin

Filipe Quinaz #Kudos #OutsidetheBoxThinker

Vitor Rodrigues
Add to my network

Location

Porto, Porto, Portugal