Passar para o conteúdo principal

Luís Miguel Silveira

Escola
Instituto Superior Técnico
Cargo/Função
Pró-Reitores
Licenciatura
Engenharia Eletrotécnica e de Computadores (IST, 1986)
Doutoramento
Engenharia Eletrotécnica e de Computadores (IST, 1984)
Categoria Profissional
Professor Catedrático
retrato do Professor Luís Silveira
Nota Biográfica

Luís Miguel Silveira nasceu em Lisboa, Portugal. Obteve os graus de Licenciado (summa cum laude) e Mestre em Engenharia Eletrotécnica e de Computadores pelo Instituto Superior Técnico da Universidade de Lisboa (IST-ULisboa), Portugal, e o M.Sc., E.E. e Ph.D. em Electrical Engineering and Computer Science pelo Massachusetts Institute of Technology, Cambridge, MA, EUA.

É Professor Catedrático de Engenharia Eletrotécnica e de Computadores no Instituto Superior Técnico tendo sido Presidente do Departamento de 2013 a 2014. De 2015 a 2019 foi Vice-Presidente para os Assuntos Internacionais do IST-ULisboa, tendo sido um dos impulsionadores da criação da aliança de Universidades Europeias Unite! - University Network for Innovation, Technology and Engineering em que é hoje Key Liaison Officer representando a Universidade de Lisboa.

Foi Presidente do Conselho Científico do INESC-ID, é investigador do INOV Lab e do INESC-ID, e membro do Conselho de Administração do INOV INESC Inovação.

É Fellow do IEEE - Institute of Electrical and Electronics Engineers, membro do ACM - Association for Computing Machinery, e é atualmente o Presidente do IEEE CEDA - IEEE Council on Electronic Design Automation. É igualmente membro do board da EDAA - European Design Automation Association.

Foi editor de quatro livros, publicou mais de 200 artigos científicos e é autor de duas patentes internacionais resultantes de uma extensa colaboração com empresas líderes na sua área a nível mundial. Recebeu Best Paper Awards nas conferências mais proeminentes da sua área científica e participou em centenas de comissões técnicas de programa de várias dessas conferências, tendo sido por diversas vezes o presidente do respetivo comité e membro do comité organizador.

Os seus interesses científicos incluem aspetos teóricos e práticos relativos ao projeto assistido por computador para circuitos e sistemas dinâmicos, com ênfase em técnicas de modelação, simulação e verificação, e algoritmos de computação paralela.