*/ ?>

António Leitão

Antóno Leitão Foto

IST- ISTAR

Programming Shape: A Formal Paradigm

Wednesday, 20th May, 9:30

Bio

António Menezes Leitão é doutorado em Eng. Informática, mestrado em Eng. Electrotécnica e licenciado em Eng. Mecânica. Actualmente, é Coordenador Científico do Grupo de Engenharia de Software do Instituto de Engenharia de Sistemas e Computadores-Investigação e Desenvolvimento (INESC-ID), e Professor Auxiliar do Instituto Superior Técnico (IST), onde é responsável pelas disciplinas de Programação e Computação para Arquitectura do Mestrado Integrado de Arquitectura e Programação Avançada do Mestrado de Engenharia Informática. É também responsável pela disciplina de Programação no Curso de Estudos Avançados da Faculdade de Arquitectura (FAUL). Tendo trabalhado inicialmente nas áreas de Inteligência Artificial, Linguagens de Programação e Engenharia de Software, actualmente tem investigado em Desenho Generativo e em Linguagens e Ambientes de Desenvolvimento para Arquitectura.

 

António Menezes Leitão has a PhD in Computer Science, a MSc in Electrotechnical Engineering and a BSc in Mechanical Engineering. Currently, he is Scientific Coordinator of the Software Engineering Group at Instituto de Engenharia de Sistemas e Computadores-Investigação e Desenvolvimento (INESC-ID), and is Assistant Professor at Instituto Superior Técnico (IST), where he teaches Programming and Computation for Architecture, in the Master of Architecture, and Advanced Programming, in the Master of Informatics. He is also responsible for the Programming course in the Advanced Studies program of Faculdade de Arquitectura (FAUL). After having worked in Artificial Intelligence, Programming Languages, and Software Engineering, he currently researches in Generative Design and in Languages and Programming Environments for Architecture.