Hugo Lourenço

I am working towards my PhD in Mathematics under the supervision of Prof. Amílcar Sernadas within the topic of hybrid systems (specification and verification).

Prizes

• "Prémio Nacional de Engenharia" awarded by the Ordem dos Engenheiros, November 1998

Papers

Citations from the Computer Science Community using ResearchIndex