fbpx Luís Miguel Silveira | ULisboa

Luís Miguel Silveira

Escola 
Instituto Superior Técnico
Cargo / Função 
Pró-Reitores
Categoria Profissional 
Professor Catedrático
Licenciatura 
Engenharia Eletrotécnica e de Computadores (IST, 1986)
Doutoramento 
Electrical Engineering and Computer Science (MIT, 1994)
Nota Biográfica 

Luís Miguel Silveira nasceu em Lisboa, Portugal. Obteve os graus de Licenciado (summa cum laude) e Mestre em engenharia electrotécnica e de computadores pelo IST Técnico Lisboa, Universidade de Lisboa, Portugal, e o M.Sc., E.E. e Ph.D. em engenharia electrotécnica e ciência de computação pelo Masschausetts 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 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 Liaision Officer representando a Universidade de Lisboa.

Foi Presidente do Conselho Científico do INESC-ID, e é investigador 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 Council on Electronic Design Automation. É igualmente membro do board EDAA - European Design Automation Association.

Foi editor de 4 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êcias 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.