Members
![carmo](files/carmo-3.png)
José Manuel Cunha Leal Molarinho Carmo (30%)
Full Professor
Modal Logic
jcc@uma.pt
+ 351 291 705154
![joaquim](files/joaquim.png)
Joaquim Amândio Rodrigues Azevedo (50%)
Assistent Professor
Signal processing in telecommunications, Wireless Networks Sensors
jara@uma.pt
+ 351 291 705286
![jluis](files/jluis-3-3.jpg)
José Luís da Silva, (Scientific Coordinator, 40%)
Associate Professor
Functional Analysis; Stochastic Analysis
luis@uma.pt, dme.uma.pt/luis
+ 351 291 705185
![Ana-Abreu](files/ana-abreu.png)
Ana Maria Abreu (30%)
Assistant Professor
Survival Analysis
abreu@uma.pt
+ 351 291 705198
![jas](files/jas.jpg)
João Alves e Sousa (30%)
Investigador Principal
Laboratório Nacional de Metrologia
Instituto Português da Qualidade
Metrology: Evaluation of measurement uncertainty
jasousa@ipq.pt
+351 212948100
![streit](files/streit.jpg)
Ludwig Streit (40%)
Professor Jubilado
Infinite dimensional Analysis; Mathematical Physics
streit@uma.pt
+351 291 705182
![Pasted Graphic 3](files/pasted-graphic-3.jpg)
Maurício Duarte Luís Reis
Lógica
![Pasted Graphic 4](files/pasted-graphic-4.jpg)
Álvaro Ribeiro (40%)
LNEC - Laboratório Nacional de Engenharia Civil
Chefe de Núcleo de Qualidade Metrológica (NQM)/ Investigador Auxiliar
asribeiro(at)lnec.pt
![Pasted Graphic](files/pasted-graphic.jpg)
Marco Paulo Ferreirinha Garapa
Lógica Modal Etiquetada em Isabelle
marco(at)uma.pt
Office: Room 2.113
Ph.D. Students
![Pasted Graphic 1](files/pasted-graphic-1.jpg)
Filipe Edgar Sousa Santos
Telecomunicações e Redes
fsantos(at)uma.pt