Portugal
Professor and Researcher at the University of Beira Interior
Research
Education
INRIA and Université de Nice Sophia Antipolis 1999 — 2003
PhD, Computer Science
Universidade do Minho 1997 — 1997
Mestrado, Computer Science
Faculdade de Ciências da Universidade do Porto 1996 — 1996
Licenciatura em Ciência dos Computadores, Computer Sciences, Licenciatura
Université d'Orléans 1990 — 1995
DEUG A - Licence - Maitrise - DEA, Foundations of Computer Science - Informatique Fondamentale
Experience
Universidade da Beira Interior 1997 - Present
Release - RELiablE And SEcure Computation Group September 2008 - Present
Quivver 2014 - Present
ISO International Organization for Standardization 2014 - Present
IEC (International Electrotechnical Commission) 2014 - Present
AFTEBI - Associação para a Formação Tecnológica e Profissional da Beira Interior December 2012 - Present
LIACC 2007 - December 2014
LIFO, University of Orléans June 2013 - July 2013
AFTEBI 2006 - September 2011
EFACEC September 2008 - December 2010
Skills
C, Visual Studio Team..., Mathematics, R&D, Embedded Systems, Algorithms, C#, JavaBeans, Requirements Analysis, Testing, Validation, Formal Methods, JavaCard, UML, Formal Verification, Java, why3, Visual Studio, F#, Software Development, Security, OCaml, Computer Science, Cryptography, Software Project..., LaTeX, Software Engineering, Distributed Systems, Concurrent Programming, Programming Languages, Programming, OOP, Smart Cards, Software Design, Java Concurrency, COQ, Frama-C, Java Enterprise Edition, Reliability