???global.info.a_carregar???
António Menezes Leitão has a BSc in Mechanical Engineering, an MSc in Electronics Engineering, and a PhD in Computer Science and Engineering, all from Instituto Superior Técnico (IST) of the University of Lisbon. Currently, he is Assistant Professor at the same university, senior researcher at INESC-ID, within the Software Engineering Group, and Coordinator of ADA, teaching, lecturing, and researching on bringing together the fields of Computer Science and Architecture. He authored or co-authored more than 70 papers and supervised more than 50 students, several of which got the highest possible scores and wards for the best thesis. He has participated as a committee member or as a program chair in multiple international conferences related to programming languages or algorithmic design and has given several invited talks on these topics.
Identificação

Identificação pessoal

Nome completo
António Paulo Teles de Menezes Correia Leitão

Nomes de citação

  • Menezes Leitão, António
  • Leitão, António

Identificadores de autor

Ciência ID
8F10-CB0D-12C8
ORCID iD
0000-0001-7216-4934

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Informação
  • Humanidades - Artes - Arquitetura e Design

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Francês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1)
Espanhol; Castelhano Utilizador elementar (A1) Utilizador proficiente (C1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2001
Concluído
Doutoramento em Engenharia Informática (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Reengenharia de Programas" (TESE/DISSERTAÇÃO)
Aprovada
1993
Concluído
Engenharia Electrotécnica (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Teoria da Recomendação: Como Combinar Fontes de Conhecimento em Procura" (TESE/DISSERTAÇÃO)
5 in 5
1989
Concluído
Engenharia Mecânica (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"N/A" (TESE/DISSERTAÇÃO)
15 in 20
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
2003/01/01 - Atual Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2001/10 - 2003/01 Investigador (Investigação) Instituto de Engenharia Mecânica Centro de Sistemas Inteligentes, Portugal
1997/10 - 1998/10 Investigador visitante (Investigação) Institut für Informationssysteme, Fakultät für Informatik, TU Wien, Áustria

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2022/05/01 - Atual Professor Associado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2001/10/01 - 2022/04/30 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
1993/09/01 - 2001/10/01 Assistente (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento
Empregador
2015/01/01 - 2018/12/31 Mobility Coordinator Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/01 - 2018/01 Scientific Coordinator of the Software Engineering Group Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2014/03 - 2016/03 Research Line Coordinator of Computing Systems and Communication Networks Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2014/03 - 2016/03 Member of the Scientific Council Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2003/01/01 - 2010/12/31 Dirigente de laboratório, instituto, museu, centro ou observatório Universidade de Lisboa Instituto Superior Técnico, Portugal

Outros

Categoria Profissional
Instituição de acolhimento
Empregador
1991/04/01 - 1993/07/01 Partner and Software Engineer Cast, Consultadoria e Aplicações em Sistemas e Tecnologia, Lda, Portugal
1988/09/01 - 1992/05/01 Software Engineer SISCOG-Sistemas Cognitivos, Lda, Portugal
Projetos

Projeto

Designação Financiadores
2018/10/01 - 2022/03/31 Khepri - Projecto, Análise e Optimização Algorítmica
PTDC/ART-DAQ/31061/2017
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2020/12/31 - 2021/02/28 MOOB- Multi-Objective Optimization of Buildings
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2013/05/02 - 2015/11/01 Rosetta - A Ferramenta de Design Generativo
PTDC/ATP-AQI/5224/2012
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2014/01/05 - 2015/04/01 Electronic Timetable Equipment and Staff Management (eTEAM)
24883
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

SISCOG-Sistemas Cognitivos, Lda, Portugal
IAPMEI
Concluído
2010/01/01 - 2013/06/30 RuLAM: Running Legacy Applications on Multicores
PTDC/EIA-EIA/108240/2008
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído

Outro

Designação Financiadores
2022/03 - 2022/09 ABCD - Advanced Building Conception and Design
CPCA/A1/402105/2021
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Em curso
Produções

Publicações

Artigo em conferência
  1. Renata Castelo-Branco; Caetano, Inês; Menezes Leitão, António. "Algorithmic design explained: decomposing parametric 3D problems into 2D visual illustrations". Trabalho apresentado em International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA, 2024.
  2. Garcia, Sara; Leitão, António. "Interfaces for Design Space Exploration". Trabalho apresentado em Co-creating the Future: Proceedings of the 40th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conferencee, 2022.
    Publicado
  3. Marcelino, Miguel ; Menezes Leitão, António. "Extending PyJL - Transpiling Python Libraries to Julia". Trabalho apresentado em 11th Symposium on Languages, Applications and Technologies (SLATE), 2022.
    10.4230/OASIcs.SLATE.2022.6
  4. Santos, Marcelo; Menezes Leitão, António. "Metaobject Protocols for Julia". Trabalho apresentado em Symposium on Languages, Applications and Technologies (SLATE), 2022.
  5. Miguel Marcelino; Menezes Leitão, António. "Transpiling Python to Julia using PyJL". Trabalho apresentado em Proceedings of the 15th European Lisp Symposium (ELS), 2022.
  6. Goncalo Araujo; Luís Santos; Menezes Leitão, António; Ricardo Gomes. "AD-Based Surrogate Models for Simulation and Optimization of Large Urban Areas". Trabalho apresentado em Proceedings of the 25th International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), 2022.
  7. "Uncertainty in daylight simulations of algorithmically generated complex shading screens". Trabalho apresentado em Building Simulation Conference, 2021.
    Aceite para publicação
  8. Caetano, Inês; Garcia, Sara; Pereira, Inês; Leitão, António. "Creativity Inspired by Analysis: An algorithmic design system for designing structurally feasible façades". Trabalho apresentado em International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), Bangkok, 2020.
    Publicado • 10.1145/1640233.1640301
  9. Castelo-Branco, Renata; Leitão, António. "Visual meets textual: a Hybrid Programming Environment for Algorithmic Design". Trabalho apresentado em RE: Anthropocene, Design in the Age of Humans: International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), Bangkok, 2020.
    Aceite para publicação
  10. Castelo-Branco, Renata; Leitão, António; Brás, Catarina. "Program Comprehension for Live Algorithmic Design in Virtual Reality". Trabalho apresentado em First International Workshop on New Interfaces for Programming (NIP) at International Conference on the Art, Science, and Engineering of Programming (), 2020.
    Publicado
  11. Helena Martinho; Gonçalo Araújo; Leitão, António. "From Macro to Micro: An integrated algorithmic approach towards sustainable cities". Trabalho apresentado em International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), Bangkok, 2020.
    Publicado
  12. Inês Pereira; Catarina Belém; Leitão, António. "Escaping Evolution: A Study on Multi-Objective Optimization". Trabalho apresentado em International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), Bangkok, 2020.
    Publicado
  13. Gonçalo Araújo; Manuel Correia Guedes; Leitão, António. "Integrating Algorithmic Processes in Informal Urban and Architectural Planning: Case Study of a Maputo's Neighborhood". Trabalho apresentado em Passive and Low Energy Architecture (PLEA) Conference, A Coruña, 2020.
    Publicado
  14. Leitão, António; Gonçalo Araújo; Susan Roaf; Manuel Correia Guedes; João Pinelo. "Back to the Future: Reverse-designing a shelter for extreme weather in Antarctica". Trabalho apresentado em Passive and Low Energy Architecture (PLEA) Conference, A Coruña, 2020.
    Publicado
  15. Inês Pereira; Leitão, António. "The Cost of Daylight: A Parallelized Approach to Multi-Objective Optimization". Trabalho apresentado em Passive and Low Energy Architecture (PLEA) Conference, A Coruña, 2020.
    Publicado
  16. Luís Santos; Inês Caetano; Inês Pereira; Leitão, António. "A Generative System for the Design of High-Performing Shading Devices: Exploring the Daylight Potential of Weaving Patterns". Trabalho apresentado em Passive and Low Energy Architecture (PLEA) Conference, A Coruña, 2020.
    Publicado
  17. Helena Martinho; Inês Pereira; Sofia Feist; Leitão, António. "Integrated Algorithmic Design in Practice: A Renovation Case Study". Trabalho apresentado em Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Berlin, 2020.
    Publicado
  18. Inês Caetano; Leitão, António. "When the Geometry Informs the Algorithm: a hybrid visual/textual programming framework for facade design". Trabalho apresentado em Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Berlin, 2020.
    Publicado
  19. Inês Pereira; Leitão, António. "More is More: The No Free Lunch Theorem in Architecture". Trabalho apresentado em International Conference of the Architectural Science Association (ANZAScA), Auckland, 2020.
    Publicado
  20. Renata Castelo-Branco; Inês Caetano; Inês Pereira; Leitão, António. "The Collaborative Algorithmic Design Notebook". Trabalho apresentado em International Conference of the Architectural Science Association (ANZAScA), Auckland, 2020.
    Publicado
  21. Catarina Brás; Renata Castelo-Branco; Leitão, António. "Parametric model manipulation: Lowering the Barriers of Algorithmic Design in Remote Collaboration". Trabalho apresentado em Annual Conference of the Association for Computer Aided Design in Architecture (ACADIA), 2020.
    No prelo
  22. Caetano, Inês; Leitão, António. "Weaving Architectural Façades: Exploring algorithmic stripe-based design patterns". Trabalho apresentado em Computer-Aided Architectural Design Futures (CAAD Futures) Conference, Daejeon, 2019.
    Publicado
  23. Leitão, António; Castelo-Branco, Renata; Santos, Guilherme. "Game of Renders: The Use of Game Engines for Architectural Visualization". Trabalho apresentado em Intelligent & Informed: International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), 2019.
    Publicado
  24. Martinho, Helena; Belém, Catarina; Leitão, António; Loonen, R.; Gomes, M.G.. "Algorithmic design and performance analysis of adaptive façades". Trabalho apresentado em Annual Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), 2019.
    Publicado
  25. Sammer, M.; Leitão, António; Caetano, Inês. "From visual input to visual output in textual programming". Trabalho apresentado em International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), 2019.
    Publicado
  26. Belém, Catarina; Leitão, António. "Conflicting goals in architecture". Trabalho apresentado em Annual Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), 2019.
    Publicado
  27. Castelo-Branco, Renata; Leitão, António; Santos, Guilherme. "Immersive Algorithmic Design: Live Coding in Virtual Reality". Trabalho apresentado em Architecture in the Age of the 4th Industrial Revolution: Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Porto, 2019.
    Publicado
  28. Pereira, Inês; Belém, Catarina; Leitão, António. "Optimizing Exhibition Spaces: A Multi-Objective Approac". Trabalho apresentado em Architecture in the Age of the 4th Industrial Revolution: Proceedings of the 37th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Porto, 2019.
    Publicado
  29. Sammer, Maria João; Leitão, António. "Visual Input Mechanisms in Textual Programming for Architecture". Trabalho apresentado em Architecture in the Age of the 4th Industrial Revolution: Proceedings of the 37th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Porto, 2019.
    Publicado
  30. Belém, Catarina; Santos, Luís; Leitão, António. "On the Impact of Machine Learning: Architecture without Architects?". Trabalho apresentado em Hello, Culture: Proceedings of the 18th Computer-Aided Architectural Design Futures (CAAD Futures) Conference, Daejeon, 2019.
    Publicado
  31. Caetano, Inês; Ilunga, G.; Belém, C.; Aguiar, R.; Feist, S.; Bastos, F.; Leitão, António. "Case studies on the integration of algorithmic design processes in traditional design workflows". Trabalho apresentado em International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), Beijing, 2018.
    Publicado
  32. Caetano, Inês; Belém, Catarina; Ilunga, Guilherme; Feist, Sofia; Leitão, António; Bastos, Francisco. "Casos de Estudo sobre a Integração de Processos de Projeto Algorítmico em Fluxos de Trabalho de Projeto em Modelo BIM". Trabalho apresentado em 2º Congresso Português de Building Information Modelling, Lisboa, 2018.
    Publicado
  33. Ferreira, Bruno; Leitão, António. "Context-oriented algorithmic design". Trabalho apresentado em Proceedings of the 11th European Lisp Symposium (ELS), Marbella, 2018.
    Publicado • 10.4230/OASIcs.SLATE.2018.7
  34. Castelo-Branco, Renata; Leitão, António. "Algorithmic Architectural Visualization". Trabalho apresentado em Learning, Adapting and Prototyping: International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), 2018.
    Publicado
  35. Caetano, Inês; Leitão, António. "Algorithmic Patterns for Facade Design: Merging design exploration, optimization and rationalization". Trabalho apresentado em FACADE TECTONICS 2018, Los Angeles, 2018.
    Publicado
  36. Castelo-Branco, Renata; Leitão, António. "Design Algorítmico Integrado". Trabalho apresentado em ptBIM: 2º Congresso Português de Building Information Modelling, 2018.
    Publicado
  37. Leitão, António; Ilunga, Guilherme. "Derivative-free Methods for Structural Optimization". Trabalho apresentado em Computing for a Better Tomorrow: Proceedings of the 36th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Lodz, 2018.
    Publicado
  38. Belém, Catarina; Leitão, António. "From Design to Optimized Design: An algorithmic-based approach". Trabalho apresentado em omputing for a Better Tomorrow: Proceedings of the 36th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Lodz, 2018.
    Publicado
  39. Leitão, António; Sousa, Sofia; Loio, Francisco. "SafePath: An Agent-Based Framework to Simulate Crowd Behaviors". Trabalho apresentado em Computing for a Better Tomorrow: Proceedings of the 36th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Lodz, 2018.
    Publicado
  40. Aguiar, R.; Cardoso, C.; Leitão, A.. "Algorithmic design and analysis fusing disciplines". Trabalho apresentado em Annual Conference of the Association for Computer Aided Design in Architecture (ACADIA), 2017.
    Publicado
  41. Alfaiate, P.; Caetano, Inês; Leitão, António. "Luna Moth: Supporting Creativity in the Cloud". Trabalho apresentado em Annual Conference of the Association for Computer Aided Design in Architecture (ACADIA), Cambridge, MA, 2017.
    Publicado
  42. Sousa, Sofia; Caetano, Inês; Leitão, António. "Saving Lives with Generative Design and Agent-based". Trabalho apresentado em eCAADe – Educational and research in Computer Aided Architectural Design in Europe, Roma, 2017.
    Publicado
  43. Leitão, António; Caetano, Inês. "Integration of an Algorithmic BIM Approach in a Traditional Architecture Studio". Trabalho apresentado em International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), Suzhou, 2017.
    Publicado
  44. Feist, Sofia; Ferreira, Bruno; Leitão, António. "Collaborative algorithmic-based building information modelling". Trabalho apresentado em Protocols, Flows and Glitches: Proceedings of the 22nd Annual Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA) Conference, Suzhou, 2017.
    Publicado
  45. Leitão, António; Castelo-Branco, Renata; Cardoso, Carmo. "Algorithmic-Based Analysis: Design and Analysis in a Multi Backend Generative Tool". Trabalho apresentado em InProtocols, Flows and Glitches: International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), 2017.
    Publicado
  46. Castelo-Branco, Renata; Leitão, António. "Integrated Algorithmic Design: A Single-Script Approach for Multiple Design Tasks". Trabalho apresentado em ShoCK! Sharing of Computable Knowledge: Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Rome, 2017.
    Publicado
  47. Castelo-Branco, Renata; Leitão, António. "Translating Algorithmic Designfrom CAD to BIM". Trabalho apresentado em From Nature to Architectural Matter: KineSIStemConference, 2017.
    Publicado
  48. Alfaiate, Pedro; Leitão, António. "Luna Moth: A Web-based Programming Environment for Generative Design". Trabalho apresentado em ShoCK: Proceedings of the 35th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Rome, 2017.
    Publicado
  49. Rocha, Catarina; Leitão, António. "Using Generative Design for Evaluating and Improving Energy Efficiency in Architecture". Trabalho apresentado em From Nature to Architectural Matter: Proceedings of the Kine[SIS]tem International Conference, Lisboa, 2017.
    Publicado
  50. Leitão, António; Caetano, Inês. "DrAFT: an Algorithmic Framework for Facade Design". Trabalho apresentado em Education and research in Computer Aided Architectural Design in Europe (eCAADe), Oulu, 2016.
    Publicado
  51. Caetano, Inês; Leitão, António. "Using Processing with Architectural 3D Modelling". Trabalho apresentado em Education and research in Computer Aided Architectural Design in Europe (eCAADe), Oulu, 2016.
    Publicado
  52. Caetano, Inês; Leitão, António. "Exploring Buildings’ Surface Patterns". Trabalho apresentado em Architecture In-Play International Conference, Lisboa, 2016.
    Publicado
  53. Caetano, Inês; Leitão, António. "Processing for architecture". Trabalho apresentado em ASKtheConference: Education for Research, Research for Creativity, Warsaw, 2016.
    Publicado
  54. Feist, S.; Barreto, G.; Ferreira, B.; Leitão, António. "Portable generative design for building information modelling". Trabalho apresentado em Living Systems and Micro-Utopias: Towards Continuous Designing: Proceedings of the 21st Annual Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA) Conference, Melbourne, 2016.
    Publicado
  55. Feist, Sofia; Leitão, António. "A-BIM: Algorithmic-Based Building Information Modelling". Trabalho apresentado em Proceedings of the 1st Portuguese Congress of Building Information Modelling (ptBIM), Guimarães, 2016.
    Publicado
  56. Caetano, Inês; Leitão, António; Bastos, Francisco. "Aplicação do Design Generativo nas Tecnologias BIM". Trabalho apresentado em Proceedings of the 1st Portuguese Congress of Building Information Modelling (ptBIM), GUImarães, 2016.
    Publicado
  57. Ferreira, Bruno; Leitão, António. "Design generativo para Building Information Modelling". Trabalho apresentado em Proceedings of the 1st Portuguese Congress of Building Information Modelling (ptBIM), Guimarães, 2016.
    Publicado
  58. Correia, Rodrigo; Leitão, António; Duarte, José. "A generic shape grammar interpreter for discursive grammars". Trabalho apresentado em Proceedings of the 19th Generative Art Conference, Florence, 2016.
    Publicado
  59. Correia, Hugo; Leitão, António. "Combining Processing with Racket". Trabalho apresentado em Proceedings of the 4th International Symposium on Languages, Applications and Technologies (SLATE), Madrid, 2015.
    Publicado
  60. Correia, Hugo; Leitão, António. "Extending Processing to CAD Applications". Trabalho apresentado em Real Time: Extending the Reach of Computation: Proceedings of the 33rd Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Vienna, 2015.
    Publicado
  61. Ferreira, Bruno; Leitão, António. "Generative Design for Building Information Modelling". Trabalho apresentado em Real Time: Extending the Reach of Computation: Proceedings of the 33rd Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Vienna, 2015.
    Publicado
  62. Correia, Hugo; Leitão, António. "P2R: Implementation of Processing in Racket". Trabalho apresentado em Proceedings of the 8th European Lisp Symposium (ELS), London, 2015.
    Publicado
  63. Ramos, Pedro; Leitão, António. "Implementing Python for DrRacket". Trabalho apresentado em Proceedings of the 3rd International Symposium on Languages, Applications and Technologies (SLATE), Dagstuhl, 2014.
    Publicado • http://dx.doi.org/10.4230/OASIcs.SLATE.2014.127
  64. Ramos, Pedro; Leitão, António. "Reaching python from racket". Trabalho apresentado em Proceedings of the 8th International Lisp Conference (ILC), Montreal, 2014.
    Publicado • 10.1145/2635648.2635660
  65. Leitão, A.M.. "Improving Generative Design by combining abstract geometry and higher-order programming". Trabalho apresentado em Rethinking Comprehensive Design: Speculative Counterculture: Proceedings of the 19th Annual Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA) Conference, Kyoto, 2014.
    Publicado
  66. Ramos, Pedro; Leitão, António. "An Implementation of Python for Racket". Trabalho apresentado em Proceedings of the 7th European Lisp Symposium (ELS), Paris, 2014.
    Publicado
  67. Leitão, António; Lopes, José; Santos, Luís. "Illustrated Programming". Trabalho apresentado em Design Agency: Proceedings of the 34th Annual Conference of the Association for Computer Aided Design in Architecture (ACADIA), California, 2014.
    Publicado
  68. Leitão, António; Proença, Sara. "On the Expressive Power of Programming Languages for Generative Design: The Case of Higher-Order Functions". Trabalho apresentado em Fusion: Data integration at its best: Proceedings of the 32nd Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Newcastle, 2014.
    Publicado
  69. Leitão, António. "Teaching Computer Science with Geometric Modeling". Trabalho apresentado em New challenges on practice, researching and teaching Geometries and Drawing: Proceedings of the Geometrias'14, Lisbon, 2014.
    Publicado
  70. Leitão, António; Fernandes, Rita; Santos, Luís. "Pushing the Envelope: Stretching the Limits of Generative Design". Trabalho apresentado em Knowledge-based Design: Proceedings of the 17th Conference of the Iberoamerican Society of Digital Graphics (SIGraDi), Valparaíso, 2013.
    Publicado
  71. Leitão, António. "Teaching Computer Science for Architecture: A proposal". Trabalho apresentado em Future Traditions: Proceedings of the 1st Education and research in Computer Aided Architectural Design in Europe (eCAADe) Regional International Workshop, Porto, 2013.
    Publicado
  72. Santos, Luís; Lopes, José; Leitão, António. "Collaborative Digital Design: When the architect meets the software engineer". Trabalho apresentado em Physical Digitality: Proceedings of the 30th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Prague, 2012.
    Publicado
  73. Correia, Rodrigo; Duarte, José; Leitão, António. "GRAMATICA: A General 3D Shape Grammar Interpreter Targeting the Mass Customization of Housing". Trabalho apresentado em Digital Physicality: Proceedings of the 30th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Preague, 2012.
    Publicado
  74. Lopes, J.; Leitão, A.. "Portable generative design for CAD applications". Trabalho apresentado em Integration Through Computation: Proceedings of the 31st Annual Conference of the Association for Computer Aided Design in Architecture (ACADIA), Banff, 2011.
    Publicado
  75. Leitão, António; Santos, Luís. "Programming Languages for Generative Design: Visual or Textual?". Trabalho apresentado em Respecting Fragile Places: Proceedings of the 29th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Ljubljana, 2011.
    Publicado
  76. Leitão, António; Cabecinhas, Filipe; Martins, Susana. "Revisiting the Architecture Curriculum: The Programming Perspective". Trabalho apresentado em Future Cities: Proceedings of the 28th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Zurich, 2010.
    Publicado
  77. Correia, Rodrigo; Duarte, José; Leitão, António. "MALAG: A Discursive Grammar Interpreter for the Online Generation of Mass Customized Housin". Trabalho apresentado em Proceedings of the 4th International Conference on Design Computing and Cognition, 2010.
    Publicado
  78. Gonçalves, E.E.M.; Leitão, A.M.. "Using common lisp to prototype offline work in web applications for rich domains". Trabalho apresentado em Proceedings of the 6th european lisp workshop, New York, 2009.
    Publicado • 10.1145/1562868.1562871
  79. Leitao, A.M.. "The next 700 programming libraries". Trabalho apresentado em Proceedings of the 2007 International Lisp Conference (ILC'07), Cambridge, 2009.
    Publicado • 10.1145/1622123.1622147
  80. Gonçalves, E.E.M.; Leitão, A.M.. "Implementing offline work in web applications for rich domains". Trabalho apresentado em 11th International Symposium on Web Systems Evolution (WSE), Alberta, 2009.
    Publicado • 10.1109/WSE.2009.5632170
  81. Leitão, A.M.. "Migration of common lisp programs to the java platform-the Linj approach". Trabalho apresentado em 11th European Conference on Software Maintenance and Reengineering (CSMR'07), Amsterdam, 2007.
    Publicado • 10.1109/CSMR.2007.34
  82. Gonçalves, E.; Leitão, António. "Offline execution in workflow-enabled Web applications". Trabalho apresentado em 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007), 2007.
    Publicado • 10.1109/QUATIC.2007.22
  83. Leitão, António. "A Formal Pattern Language for Refactoring of Lisp Programs". Trabalho apresentado em Proceedings of the Sixth European Conference on Software Maintenance and Reengineering, Budapest, 2002.
    Publicado
  84. Leitão, António; Martins, João Pavão. "SNePS and Semi-Structured Databases". Trabalho apresentado em XIV Simpósio Brasileiro de Banco de Dados (SBBD), 1999.
    Publicado
Artigo em revista
  1. Caetano, Inês; Pereira, Inês; Menezes Leitão, António. "Balancing design intent and performance: an algorithmic design approach". Architectural Science Review (2023): 1-13. http://dx.doi.org/10.1080/00038628.2023.2254305.
    10.1080/00038628.2023.2254305
  2. João David; Menezes Leitão, António. "Getting a Handle on Floor Plan Analysis: Door Classification in Floor Plans and a Survey on Existing Datasets". Architecture and Planning Journal (APJ) 28 3 (2023): http://dx.doi.org/10.54729/2789-8547.1201.
    10.54729/2789-8547.1201
  3. Garcia, Sara; Menezes Leitão, António. "Navigating Design Spaces: Finding Designs, Design Collections, and Design Subspaces". International Journal of Architectural Computing 20 2 (2022): 176-195. http://dx.doi.org/10.1177/14780771211073119.
    10.1177/14780771211073119
  4. Castelo-Branco, Renata; Leitão, António. "Algorithmic Design in Virtual Reality". Architecture 2 1 (2022): 31-52. http://dx.doi.org/10.3390/architecture2010003.
    Publicado • 10.3390/architecture2010003
  5. Castelo-Branco, Renata; Caetano, Inês; Leitão, António. "Digital representation methods: The case of algorithmic design". Frontiers of Architectural Research (2022): http://dx.doi.org/10.1016/j.foar.2021.12.008.
    No prelo • 10.1016/j.foar.2021.12.008
  6. "Sketching Algorithmic Design". Journal of Architectural Engineering (2022):
    Aceite para publicação
  7. Castelo-Branco, Renata; Caetano, Inês; Leitão, António. "Affordable Computation for Architecture". Architecture and Planning Journal 28 3 (2022):
    Publicado • 10.54729/2789-8547.1209
  8. Castelo-Branco, Renata; Caetano, Inês; Menezes Leitão, António. "Algorithmic Representation Space". Prospectives (2022): https://journal.b-pro.org/issue/issue2/#contents662.
  9. Gonçalo Araújo; Inês Pereira; Leitão, António; Manuel Correia Guedes. "Conflicts in Passive Building Performance: Retrofit and Regulation of Informal Neighbourhoods". Frontiers of Architectural Research (2021):
    Aceite para publicação
  10. "From Architectural Requirements to Physical Creations: An Algorithmic-based Approach for Façade Design". Journal of Facade Design and Engineering 8 2 (2020): 59-80. https://doi.org/10.7480/jfde.2020.2.4543.
    Publicado
  11. Castelo-Branco, Renata; Brás, Catarina; Leitão, António Menezes; Castelo-Branco, Renata; Leitão, António. "Inside the Matrix: Immersive Live Coding for Architectural Design". International Journal of Architectural Computing 19 2 (2020): 174-189. http://dx.doi.org/10.1177/1478077120958164.
    Publicado • 10.1177/1478077120958164
  12. Caetano, Inês; Luís Santos; António Leitão. "Computational design in architecture: Defining parametric, generative, and algorithmic design". Frontiers of Architectural Research (2020): https://doi.org/10.1016/j.foar.2019.12.008.
    Publicado • 10.1016/j.foar.2019.12.008
  13. Caetano, Inês; Leitão, António. "Architecture meets computation: an overview of the evolution of computational design approaches in architecture". Architectural Science Review 63 2 (2020): 165-174. http://dx.doi.org/10.1080/00038628.2019.1680524.
    Publicado • 10.1080/00038628.2019.1680524
  14. Caetano, Inês; Leitão, António. "Integration of an algorithmic BIM approach in a traditional architecture studio". Journal of Computational Design and Engineering 6 3 (2019): 327-336. http://dx.doi.org/10.1016/j.jcde.2018.11.004.
    Publicado • 10.1016/j.jcde.2018.11.004
  15. Garcia, S.; Menezes Leitão, A.. "Shape grammars as design tools: An implementation of a multipurpose chair grammar". Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM 32 2 (2018): 240-255. http://www.scopus.com/inward/record.url?eid=2-s2.0-85047206024&partnerID=MN8TOARS.
    Publicado • 10.1017/S0890060417000610
  16. Santos, L.; Leitão, A.; Caldas, L.. "A comparison of two light-redirecting fenestration systems using a modified modeling technique for Radiance 3-phase method simulations". Solar Energy 161 (2018): 47-63. http://www.scopus.com/inward/record.url?eid=2-s2.0-85038968768&partnerID=MN8TOARS.
    10.1016/j.solener.2017.12.020
  17. Leitão, António; Caetano, Inês; Correia, H.. "Processing architecture". International Journal of Architectural Computing 14 2 (2016): 147-157. http://www.scopus.com/inward/record.url?eid=2-s2.0-84976553624&partnerID=MN8TOARS.
    Publicado • 10.1177/1478077116638927
  18. Leitão, A.; Santos, L.; Lopes, J.. "Programming languages for generative design: A comparative study". International Journal of Architectural Computing 10 1 (2012): 139-162. http://www.scopus.com/inward/record.url?eid=2-s2.0-84859450381&partnerID=MN8TOARS.
    Publicado • 10.1260/1478-0771.10.1.139
  19. Leitão, A.M.; Leitão, António. "Lisp: Research and experience". Journal of Universal Computer Science 16 2 (2010): 218-220. http://www.scopus.com/inward/record.url?eid=2-s2.0-77950872003&partnerID=MN8TOARS.
    Publicado
  20. Slivnik, B.; Leitao, A.M.. "Guest editor's message". Computer Science and Information Systems 7 2 (2010): 2-3. http://www.scopus.com/inward/record.url?eid=2-s2.0-77953885428&partnerID=MN8TOARS.
    Publicado
  21. Leitão, A.M.. "From lisp s-expressions to Java source code". Computer Science and Information Systems 5 2 (2008): 19-38. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349690342&partnerID=MN8TOARS.
    Publicado • 10.2298/CSIS0802019L
  22. Leitão, A.M.. "UCL-GLORP-An ORM for Common Lisp". Journal of Universal Computer Science 14 20 (2008): 3333-3357. http://www.scopus.com/inward/record.url?eid=2-s2.0-63649106348&partnerID=MN8TOARS.
    Publicado
  23. Leitão, António. "Detection of Redundant Code Using R2D2". Software Quality Journal 12 4 (2004): 361-382.
    Publicado
Capítulo de livro
  1. Inês Caetano; António Leitão; Francisco Bastos. "The Right Algorithm for the Right Shape". In An Algorithmic Framework for Efficient Design and Conception of Building Facades. 2024.
    10.1007/978-3-031-36922-3_37
  2. Inês Caetano; António Leitão; Francisco Bastos. "Converting Algorithms into Tangible Solutions". In A Workflow for Materializing Algorithmic Facade Designs. 2023.
    10.1007/978-3-031-20241-4_14
  3. Renata Castelo-Branco; António Leitão. "Illustrating Algorithmic Design". In Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries. Springer, Cham, 2023.
    10.1007/978-3-031-37189-9_3
  4. Menezes Leitão, António; Garcia, Sara. "Reverse Algorithmic Design". In Design Computing and Cognition (DCC'20), 317-328. Atlanta, USA: Springer, Cham, 2022.
    Publicado • 10.1007/978-3-030-90625-2_18
  5. Renata Castelo-Branco; António Leitão. "Comprehending Algorithmic Design". In Computer-Aided Architectural Design. Design Imperatives: The Future is Now, 15-35. Springer Singapore, 2022.
    10.1007/978-981-19-1280-1_2
  6. Caetano, Inês; Leitão, António. "Behind Algorithmic Geometric Patterns: A Framework for Facade Design Exploration". In Formal Methods in Architecture: Advances in Science, Technology & Innovation (IEREK Interdisciplinary Series for Sustainable Development. Espanha: Springer, Cham, 2022.
    No prelo
  7. Inês Caetano; António Leitão; Caetano, Inês; Leitão, António. "Mathematically Developing Building Facades: An Algorithmic Framework". In Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), 3-17. Portugal: Springer International Publishing, 2021.
    Aceite para publicação • 10.1007/978-3-030-57509-0_1
  8. Caetano, Inês; Santos, Luís; Leitão, António. "From Idea to Shape, from Algorithm to Design: A Framework for the Generation of Contemporary Facades". In Computer-Aided Architectural Design Futures. The Next City - New Technologies and the Future of the Built Environment. CAAD Futures 2015. Communications in Computer and Information Science, 527-546. Springer Berlin Heidelberg, 2015.
    Publicado • 10.1007/978-3-662-47386-3_29
Manual
  1. Leitão, António. Programação para Arquitectura. Lisboa, Portugal: IST Press. 2015.
    Aceite para publicação
  2. Leitão, António. Programação para Arquitectura. 2012.
  3. Leitão, António. Introdução à Programação com AutoLisp. 2007.
  4. Leitão, António. Debugging Programs in Emacs and Allegro CL. 2004.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2017/06 Algoritmos e Arquitetura
Algoritmos e Arquitetura (Campinas, Brasil)
2017/05 Algorithmic Design for Architecture
Disney Research Labs (Shangai, China)
2016/07 Algorithmic Architecture 3rd International Cork Workshop - New Uses in Architecture - New Materials, Future Technologies
Faculdade de Arquitectura da Universidade de Lisboa (Lisboa, Portugal)
2016/05 Portable Algorithmic Architecture Workshop Tecton 3D: Modelando a 3ª Dimensão
Faculdade de Arquitectura da Universidade de Lisboa (Lisboa, Portugal)
2015/05 Programming Shape: A Formal Paradigm 1st Workshop "Beyond Shape"
Universidade Lusófona (Lisboa, Portugal)
2012/02 Teaching Computer Science in Architecture Seminars of the Final Project in Architecture
ISCTE-IUL (Li, Portugal)
2006/04 Lisp, DSLs, and Social Issues in the Java/.NET Era JOIN06-Jornadas de Informática
Universidade do Minho (Braga, Portugal)
2005/04 Java for Lispers: How to Survive in a Java-centric World ECLM-European Common Lisp Meeting
(Amsterdam, Países Baixos)

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2017 - Atual Multi-purpose programming environment for Architectural Modeling
Orientador de Bruno Filipe Belo Ferreira
Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - Atual ReAD: Representational Algorithmic Design
Orientador de Renata Alves Castelo Branco
Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - Atual An Algorithmic Framework for the Design and Realization of Facades
Orientador de Inês Alexandra do Côrro Caetano
Arquitectura (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 - 2021 Thinking Algorithmic Architecture: an Overview of Digital Architecture
Orientador de Pedro Sousa de Freitas Pedroso de Lima
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2021 Game Engines for Algorithmic Design
Orientador de Ricardo de Lemos Filipe
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 - 2020 Refactoring for Dynamic Languages: The Julia Case
Orientador de Tomás Grelha da Cunha
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 - 2020 Fast Interactive Visualization for Algorithmic Design
Orientador de Guilherme Jorge dos Santos
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 - 2019/12/17 Dynamic Invocation
Orientador de Tiago Miguel Santos Rodrigues
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 - 2019/07/04 Algorithmic tree-inspired design. A link between manual and performative methodologies
Coorientador de José Maria Rodrigues de Freitas
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 - 2019/06/19 Adaptive façades: An integrated algorithmic approach
Coorientador de Helena Luísa Freitas Martinho
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 - 2019/06/18 Towards lighting optimization: A performance-based approach
Coorientador de Inês Isabel Chinita Pereira
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 - 2019/06/05 Optimization of Time-Consuming Objective Functions: Derivative-Free Approaches and their Application in Architecture
Orientador de Catarina Garcia Belém
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 - 2019/02/02 Single-Objective Optimization for Architecture
Orientador de Guilherme Ilunga
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 - 2019 The expressive power of programming languages in architecture
Orientador de Maria João De Maya Gomes Cunha e Sammer
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2019 Reverse Algorithmic Design of Buildings
Orientador de Daniel Matos Fermoselle da Silva
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2018/06/29 Performance-based design for evacuation
Orientador de Sofia Costa de Sousa
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 - 2018 Integrating structural performance in algorithmic design
Orientador de Rita Roldão de Aguiar
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017 Performance-based design
Orientador de Carmo Gonçalves Machado Cardoso
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017 Generative Design for energy efficiency: Energy analysis and optimization
Orientador de Catarina Rodrigues Ferreira da Rocha
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017 A Browser-based Programming Environment for Generative Design
Orientador de Pedro Alexandre Fonseca Alfaiate
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017 Integrated Algorithmic Design
Orientador de Renata Alves Castelo Branco
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 Modelação Geométrica com Restrições
Orientador de Fábio Miguel Gonçalves Pinheiro
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 A-BIM: Algorithmic-based building information modelling
Orientador de Sofia Teixeira de Vasconcelos Feist
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 An Enhanced Programming Environment for Generative Design
Orientador de Guilherme Ferreira
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 Refactoring Dynamic Languages
Orientador de Rafael José Trindade Reia
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 Generative Design for Building Information Modeling
Orientador de Bruno Filipe Belo Ferreira
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 Fast Visualization of Large Architectural Models
Orientador de Artur José Brás Mayer Alkaim
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 Generative Design for Building Information Modeling
Orientador de Guilherme Henrique Aciaioli de Sousa Barreto
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2015 P2R: Implementation of Processing in Racket
Orientador de Hugo Filipe Fonseca Correia
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2015 DrAFT: An Algorithmic Framework for Facade Design
Orientador de Inês Alexandra do Côrro Caetano
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2015 Generative Design for BIM - Its influence in the design process
Orientador de Naim Korqa
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014 - 2014 PyonR: A Python Implementation for Racket
Orientador de Pedro Alexandre Henriques Palma Ramos
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2013 - 2013 DESIGNA - A Shape Grammar Interpreter
Coorientador de Rodrigo Coutinho Correia
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2013 - 2013 Automatização Digital na Produção de Maquetes
Orientador de Ricardo David Francisco
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2013 - 2013 Generative Design: a new stage in the design process
Orientador de Rita Margarida Serra Fernandes
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2012/06/06 - 2012/06/06 Tracking Software Clone Evolution Through Meta Clone Detection
Orientador de Jaime Filipe Nazaré Malveiro Jorge
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2012 - 2012 Modern Programming for Generative Design
Orientador de José António Branquinho de Oliveira Lopes
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2010 - 2010/01/12 Sistemas Generativos de Projecto: Integração de Ferramentas Digitais no Projecto de Arquitectura
Coorientador de Luís Filipe Batista Silveira dos Santos
Arquitectura (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2010 - 2010 Reactive Programming
Orientador de Filipe Miguel Duarte Cristóvão
Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2010 - 2010 Meta-programming and DSLs in dynamic languages
Orientador de Vasco Carvalhão Duarte Andrade e Silva
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2010 - 2010 A High-Level Pedagogical 3 D Modelling Language and Framework
Orientador de Filipe André Cabecinhas
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2009 - 2009/12/18 Geometric Parametrization
Orientador de André Proença Varão Nogueira
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2009 - 2009/12/04 OurContext: Desenho e Implementação de uma Plataforma para Aplicações Context-Aware
Orientador de Joel Filipe da Silva Duarte
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2009 - 2009/12/04 RTBScript: A High-Level Language for Hybrid Domain Modeling using Actors
Orientador de Filipe Miguel Duarte Cristóvão
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2009 - 2009/12/03 ATOM: Automatic Transaction-Oriented Memoization
Coorientador de Hugo Jorge Beja Rito
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2009 - 2009/12/03 JaSPEx: Speculative Parallelization on the Java Platform
Coorientador
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 - 2008/11/27 Code Store
Orientador de Hugo Miguel Amaral Sobral
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 - 2008 Mashup
Orientador de António Afonso dos Santos Martins
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2007 - 2007 Creation of an Eclipse-based IDE for the D programming language
Orientador de Bruno Medeiros
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2007 - 2007 K-XGUI
Orientador de Paulo Pedro
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2007 - 2007 K-DEV
Orientador de Ivo Branco
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)
Instituição / Organização
2018/06 - 2018/06 Program Chair SLATE 2018--Symposium on Languages, Applications and Technologies, Guimarães, Portugal (2018/06 - 2018/06)
Conferência (Presidente da Comissão Organizadora)
2010/10 - 2010/10 Program Chair ILC 2010--International Lisp Conference, Co-located with SPLASH 10, Reno/Sparks, Nevada, USA. (2010/10)
Conferência (Presidente da Comissão Organizadora)
2010/05/06 - 2010/05/08 Program Organizer of the European Lisp Symposium 2010 (2010)
Conferência (Presidente da Comissão Organizadora)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Fundação Calouste Gulbenkian, Portugal
2009/09 - 2009/09 Program Chair CoRTA 2009--Inforum 2009, Faculdade de Ciências da Universidade de Lisboa, Lisbon, Portugal. (2009/09)
Conferência (Presidente da Comissão Organizadora)
2009/05 - 2009/05 Program Chair ELS 2009-2nd European Lisp Symposium, Universita` degli Studi di Milano-Bicocca, Milan, Italy (2009/05)
Conferência (Presidente da Comissão Organizadora)
1989/09 - 1989/09 EPIA 1989--Fourth Portuguese Conference on Artificial Intelligence (1989/09)
Conferência (Membro da Comissão Organizadora)
Fundação Calouste Gulbenkian, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2021/09/08 - 2021/09/10 eCAADe 2021: Towards a new, configurable architecture Faculty of Technical Sciences, University of Novi Sad, Serbia
2021/03/29 - 2021/04/01 CAADRIA 2021, 'PROJECTIONS' School of Architecture at the Chinese University of Hong Kong
2020/09/16 - 2020/09/17 eCAADe 2020: Anthropologic - Architecture and Fabrication in the cognitive age Institute of Architecture, Technical University of Berlin
2020/08/05 - 2020/08/06 CAADRIA 2020, RE: Anthropocene Design in the Age of Humans Chulalongkorn University, Faculty of Architecture, Bangkok, Thailand
2019/09/11 - 2019/09/13 eCAADe + SIGraDi 2019: ARCHITECTURE IN THE AGE OF THE 4TH INDUSTRIAL REVOLUTION THE UNIVERSITY OF PORTO/ THE FACULTY OF ARCHITECTURE
2019/05 - 2019/05 CAADRIA 2019, Intelligent & Informed--The 24rd International Conference on Computer-Aided Architectural Design Research in Asia Faculty of Architecture & Design, Victoria University of Wellington, New Zealand.
2019/01 - 2019/01 SLATE'19--Symposium on Languages, Applications, and Technologies Universidade de Coimbra, Portugal
2018/05 - 2018/05 CAADRIA 2018, Learning, Prototyping & Adapting--The 23rd International Conference on Computer-Aided Architectural Design Research in Asia School of Architecture, Tsinghua University, Beijing, China.
2017/04 - 2017/04 ELS'17--10th European Lisp Symposium VUB - Vrije Universiteit Brussel, Belgium
2016/05 - 2016/05 ELS'16--9th European Lisp Symposium AGH University of Science and Technology, Kraków, Poland
2015/06 - 2015/06 SLATE'15--Symposium on Languages, Applications, and Technologies Universidad Complutense de Madrid, Spain
2014/06 - 2014/06 SLATE'14--Symposium on Languages, Applications, and Technologies Escola Superior de Tecnologia e Gestão, Instituto Politécnico de Bragança, Portugal
2014/05 - 2014/05 ELS'14--7th European Lisp Symposium IRCAM, Paris, France
2012/10 - 2012/10 ILC 2012--International Lisp Conference 2012 Miyakomesse, Kyoto, Japan
2012/06 - 2012/06 SLATE'12--Symposium on Languages, Applications, and Technologies Departamento de Informática, Universidade do Minho, Braga, Portugal
2012/04 - 2012/04 ELS'12--5th European Lisp Symposium University of Zadar, Zadar, Croatia
2011/09 - 2011/09 Engenharia Conduzida por Modelos--Inforum 2011 Universidade de Coimbra, Coimbra, Portugal
2011/03 - 2011/03 ELS'11--4th European Lisp Symposium University of Technology, Hamburg, Germany
2010/09 - 2010/09 Engenharia Conduzida por Modelos--Inforum 2010 Universidade do Minho, Braga, Portugal
2009/09 - 2009/09 Engenharia Conduzida por Modelos--Inforum 2009 Faculdade de Ciências da Universidade de Lisboa, Lisboa, Portugal
2008/07 - 2008/07 CoRTA 2008--Compilers, Related Technologies and Applications Bragança, Portugal
2008/05 - 2008/05 ELS'08--1st European Lisp Symposium LaBRI, Université Bordeaux 1, Bordeaux, France
2007/07 - 2007/07 CoRTA 2007--Compilers, Related Technologies and Applications Covilhã, Portugal

Consultoria / Parecer

Descrição da atividade Instituição / Organização
2014/10 - 2015/01 Course in Advanced programming in C++ SISCOG-Sistemas Cognitivos, Lda, Portugal
2011 - 2011/12 Course on optimization of Common Lisp programs SISCOG-Sistemas Cognitivos, Lda, Portugal

Entrevista (jornal / revista)

Descrição da atividade Jornal / Forum
2018/06 Ordre des Architectes du Québec Esquisses

Membro de comissão

Descrição da atividade
Tipo de participação
Instituição / Organização
2013 - Atual Commission for e-Learning at IST
Membro
Universidade de Lisboa Instituto Superior Técnico, Portugal
Distinções

Prémio

2021 Sasada Prize
Association for Computer-Aided Architectural Design Research in Asia (CAADRIA) , Hong Kong
2020 Excellence in Teaching
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 Best Paper
Association for Computer-Aided Architectural Design Research in Asia, Nova Zelândia
2011 Best Paper Presentation, Runner-Up
eCAADe 2011-Education and research in Computer Aided Architectural Design in Europe, Reino Unido
2009 Excelence in Teaching
Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 Excelence in Teaching
Universidade de Lisboa Instituto Superior Técnico, Portugal

Outra distinção

1997 Grant PhD
JNICT, Program PRAXIS XXI, Portugal
1994 Grant First International Summer Institute in Cognitive Science
University at Buffalo - The State University of New York, Estados Unidos
1990 Grant MSc
JNICT, Program Ciência, Portugal
1987 Grant Young Researcher
JNICT, Program Ciência, Portugal