Mário Silva
AeroLeads people directory · profile

Mário Silva Email & Phone Number

Postdoctoral Researcher at LMF - Laboratoire Méthodes Formelles
Location: Greater Nancy Area, France, France 5 work roles 3 schools
LinkedIn matched
✓ Verified Jun 2026 3 data sources Profile completeness 86%

Contact Signals

LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
LMF - Laboratoire Méthodes Formelles
Role
Postdoctoral Researcher
Location
Greater Nancy Area, France, France
Company size
22158 employees

Who is Mário Silva? Overview

A concise factual answer block for searchers comparing this professional profile.

Quick answer

Mário Silva is listed as Postdoctoral Researcher at LMF - Laboratoire Méthodes Formelles, a company with 22158 employees, based in Greater Nancy Area, France, France. AeroLeads shows a matched LinkedIn profile for Mário Silva.

Mário Silva previously worked as PHD Student at Loria and Graduate Teaching Assistant at Ecole Nationale Supérieure Des Mines De Nancy. Mário Silva holds Master'S Degree, Mathematics And Computer Science, 19/20 from Instituto Superior Técnico.

Company email context

Email format at LMF - Laboratoire Méthodes Formelles

This section adds company-level context without repeating Mário Silva's masked contact details.

LMF - Laboratoire Méthodes Formelles

Review company-level records connected to Mário Silva before choosing the right outreach path.

View email format View company profile Management contacts
Profile bio

About Mário Silva

Mário Silva is a Postdoctoral Researcher at LMF - Laboratoire Méthodes Formelles. They is proficient in Espanhol, English and Francês.

Current workplace

Mário Silva's current company

Company context helps verify the profile and gives searchers a useful next step.

LMF - Laboratoire Méthodes Formelles
Lmf - Laboratoire Méthodes Formelles
Postdoctoral Researcher
Gif-sur-Yvette, FR
Website
cnrs.fr
Employees
22158
AeroLeads page
Company profile
View company profile Email format
5 roles

Mário Silva work experience

A career timeline built from the work history available for this profile.

Phd Student

Current
Loria

Nancy, Grand Est, France

I am part of the MOCQUA team, working in the static analysis of the complexity of quantum programs, as well as implicit characterizations of complexity classes.

Oct 2021 - Present
Team & coworkers

Colleagues at LMF - Laboratoire Méthodes Formelles

Other employees you can reach at cnrs.fr. View company contacts for 22158 employees →

EL Eric Legay Eric Legay Colleague at Lmf - Laboratoire Méthodes FormellesFrance, France View → EB Elisabeth Baisse-Macchi Elisabeth Baisse-Macchi Colleague at Lmf - Laboratoire Méthodes FormellesMarcy-l’Étoile, Auvergne-Rhône-Alpes, France, France View → CG Chantal Guidi-Rontani Chantal Guidi-Rontani Colleague at Lmf - Laboratoire Méthodes FormellesGreater Paris Metropolitan Region, France View → PG Philippe Gardon Philippe Gardon Colleague at Lmf - Laboratoire Méthodes FormellesVire, Normandy, France, France View → EB Eric Billiet Eric Billiet Colleague at Lmf - Laboratoire Méthodes FormellesGrenoble, Auvergne-Rhône-Alpes, France, France View → MS Michel Setbon Michel Setbon Colleague at Lmf - Laboratoire Méthodes FormellesMeyrargues, Provence-Alpes-Côte d'Azur, France, France View → JP Jean-Louis Paillaud Jean-Louis Paillaud Colleague at Lmf - Laboratoire Méthodes FormellesMulhouse, Grand Est, France, France View → CV Christophe Velours Christophe Velours Colleague at Lmf - Laboratoire Méthodes FormellesBordeaux, Nouvelle-Aquitaine, France, France View → YG Yves Gally Yves Gally Colleague at Lmf - Laboratoire Méthodes FormellesFrance, France View → WB Wouter Bos Wouter Bos Colleague at Lmf - Laboratoire Méthodes FormellesGreater Lyon Area, France View →
3 education records

Mário Silva education

Master'S Degree, Mathematics And Computer Science, 19/20

Instituto Superior Técnico

Thesis on quantum cryptography, resulting in a paper published in Quantum.

5º Grau, Classical Guitar

Academia De Música De Espinho
FAQ

Frequently asked questions about Mário Silva

Quick answers generated from the profile data available on this page.

What company does Mário Silva work for?

Mário Silva works for LMF - Laboratoire Méthodes Formelles.

What is Mário Silva's role at LMF - Laboratoire Méthodes Formelles?

Mário Silva is listed as Postdoctoral Researcher at LMF - Laboratoire Méthodes Formelles.

Where is Mário Silva based?

Mário Silva is based in Greater Nancy Area, France, France while working with LMF - Laboratoire Méthodes Formelles.

What companies has Mário Silva worked for?

Mário Silva has worked for Lmf - Laboratoire Méthodes Formelles, Loria, Ecole Nationale Supérieure Des Mines De Nancy, Instituto De Telecomunicações, and Jornal Universitário Do Porto.

Who are Mário Silva's colleagues at LMF - Laboratoire Méthodes Formelles?

Mário Silva's colleagues at LMF - Laboratoire Méthodes Formelles include Eric Legay, Elisabeth Baisse-Macchi, Chantal Guidi-Rontani, Philippe Gardon, and Eric Billiet.

How can I contact Mário Silva?

You can use AeroLeads to view verified contact signals for Mário Silva at LMF - Laboratoire Méthodes Formelles, including work email, phone, and LinkedIn data when available.

What schools did Mário Silva attend?

Mário Silva holds Master'S Degree, Mathematics And Computer Science, 19/20 from Instituto Superior Técnico.

Find 750M verified contacts

Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.

People with similar names

Check these profiles if this is not the Mário Silva you were looking for.

Mario S.
Mario S.
Hr Project Manager - Leadership Academy @Veolia
Paris
View similar profiles