???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.
Read full resume ↓
Identification

Personal identification

Full name
António Paulo Teles de Menezes Correia Leitão

Citation names

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

Author identifiers

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

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Information Science
  • Humanities - Arts - Architectural design

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
French Intermediate (B1) Advanced (C1) Intermediate (B1) Intermediate (B1)
Spanish; Castilian Beginner (A1) Advanced (C1) Beginner (A1) Beginner (A1)
Education
Degree Classification
2001
Concluded
 Doutoramento em Engenharia Informática (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Reengenharia de Programas" (THESIS/DISSERTATION)
 Aprovada
1993
Concluded
 Engenharia Electrotécnica (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Teoria da Recomendação: Como Combinar Fontes de Conhecimento em Procura" (THESIS/DISSERTATION)
 5 in 5
1989
Concluded
 Engenharia Mecânica (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"N/A" (THESIS/DISSERTATION)
 15 in 20
Affiliation

Science

Category
Host institution 		Employer
2003/01/01 - Current Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2001/10 - 2003/01 Researcher (Research) Instituto de Engenharia Mecânica Centro de Sistemas Inteligentes, Portugal
1997/10 - 1998/10 Visiting Researcher (Research) Institut für Informationssysteme, Fakultät für Informatik, TU Wien, Austria

Teaching in Higher Education

Category
Host institution 		Employer
2022/05/01 - Current Associate Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
2001/10/01 - 2022/04/30 Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
1993/09/01 - 2001/10/01 Assistant (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal

Positions / Appointments

Category
Host institution 		Employer
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 Manager of Laboratory, Institute, Museum, Centre or Observatory Universidade de Lisboa Instituto Superior Técnico, Portugal

Others

Category
Host institution 		Employer
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
Projects

Contract

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

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

Other

Designation Funders
2022/03 - 2022/09 ABCD - Advanced Building Conception and Design
CPCA/A1/402105/2021
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Ongoing
Outputs

Publications

Book chapter
  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.
    Published • 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. Spain: Springer, Cham, 2022.
    In press
  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.
    Accepted • 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.
    Published • 10.1007/978-3-662-47386-3_29
Conference paper
  1. Renata Castelo-Branco; Caetano, Inês; Menezes Leitão, António. "Algorithmic design explained: decomposing parametric 3D problems into 2D visual illustrations". Paper presented in 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". Paper presented in Co-creating the Future: Proceedings of the 40th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conferencee, 2022.
    Published
  3. Marcelino, Miguel ; Menezes Leitão, António. "Extending PyJL - Transpiling Python Libraries to Julia". Paper presented in 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". Paper presented in Symposium on Languages, Applications and Technologies (SLATE), 2022.
  5. Miguel Marcelino; Menezes Leitão, António. "Transpiling Python to Julia using PyJL". Paper presented in 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". Paper presented in 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". Paper presented in Building Simulation Conference, 2021.
    Accepted
  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". Paper presented in International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), Bangkok, 2020.
    Published • 10.1145/1640233.1640301
  9. Castelo-Branco, Renata; Leitão, António. "Visual meets textual: a Hybrid Programming Environment for Algorithmic Design". Paper presented in RE: Anthropocene, Design in the Age of Humans: International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), Bangkok, 2020.
    Accepted
  10. Castelo-Branco, Renata; Leitão, António; Brás, Catarina. "Program Comprehension for Live Algorithmic Design in Virtual Reality". Paper presented in First International Workshop on New Interfaces for Programming (NIP) at International Conference on the Art, Science, and Engineering of Programming (), 2020.
    Published
  11. Helena Martinho; Gonçalo Araújo; Leitão, António. "From Macro to Micro: An integrated algorithmic approach towards sustainable cities". Paper presented in International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), Bangkok, 2020.
    Published
  12. Inês Pereira; Catarina Belém; Leitão, António. "Escaping Evolution: A Study on Multi-Objective Optimization". Paper presented in International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), Bangkok, 2020.
    Published
  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". Paper presented in Passive and Low Energy Architecture (PLEA) Conference, A Coruña, 2020.
    Published
  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". Paper presented in Passive and Low Energy Architecture (PLEA) Conference, A Coruña, 2020.
    Published
  15. Inês Pereira; Leitão, António. "The Cost of Daylight: A Parallelized Approach to Multi-Objective Optimization". Paper presented in Passive and Low Energy Architecture (PLEA) Conference, A Coruña, 2020.
    Published
  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". Paper presented in Passive and Low Energy Architecture (PLEA) Conference, A Coruña, 2020.
    Published
  17. Helena Martinho; Inês Pereira; Sofia Feist; Leitão, António. "Integrated Algorithmic Design in Practice: A Renovation Case Study". Paper presented in Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Berlin, 2020.
    Published
  18. Inês Caetano; Leitão, António. "When the Geometry Informs the Algorithm: a hybrid visual/textual programming framework for facade design". Paper presented in Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Berlin, 2020.
    Published
  19. Inês Pereira; Leitão, António. "More is More: The No Free Lunch Theorem in Architecture". Paper presented in International Conference of the Architectural Science Association (ANZAScA), Auckland, 2020.
    Published
  20. Renata Castelo-Branco; Inês Caetano; Inês Pereira; Leitão, António. "The Collaborative Algorithmic Design Notebook". Paper presented in International Conference of the Architectural Science Association (ANZAScA), Auckland, 2020.
    Published
  21. Catarina Brás; Renata Castelo-Branco; Leitão, António. "Parametric model manipulation: Lowering the Barriers of Algorithmic Design in Remote Collaboration". Paper presented in Annual Conference of the Association for Computer Aided Design in Architecture (ACADIA), 2020.
    In press
  22. Caetano, Inês; Leitão, António. "Weaving Architectural Façades: Exploring algorithmic stripe-based design patterns". Paper presented in Computer-Aided Architectural Design Futures (CAAD Futures) Conference, Daejeon, 2019.
    Published
  23. Leitão, António; Castelo-Branco, Renata; Santos, Guilherme. "Game of Renders: The Use of Game Engines for Architectural Visualization". Paper presented in Intelligent & Informed: International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), 2019.
    Published
  24. Martinho, Helena; Belém, Catarina; Leitão, António; Loonen, R.; Gomes, M.G.. "Algorithmic design and performance analysis of adaptive façades". Paper presented in Annual Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), 2019.
    Published
  25. Sammer, M.; Leitão, António; Caetano, Inês. "From visual input to visual output in textual programming". Paper presented in International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), 2019.
    Published
  26. Belém, Catarina; Leitão, António. "Conflicting goals in architecture". Paper presented in Annual Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), 2019.
    Published
  27. Castelo-Branco, Renata; Leitão, António; Santos, Guilherme. "Immersive Algorithmic Design: Live Coding in Virtual Reality". Paper presented in Architecture in the Age of the 4th Industrial Revolution: Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Porto, 2019.
    Published
  28. Pereira, Inês; Belém, Catarina; Leitão, António. "Optimizing Exhibition Spaces: A Multi-Objective Approac". Paper presented in 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.
    Published
  29. Sammer, Maria João; Leitão, António. "Visual Input Mechanisms in Textual Programming for Architecture". Paper presented in 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.
    Published
  30. Belém, Catarina; Santos, Luís; Leitão, António. "On the Impact of Machine Learning: Architecture without Architects?". Paper presented in Hello, Culture: Proceedings of the 18th Computer-Aided Architectural Design Futures (CAAD Futures) Conference, Daejeon, 2019.
    Published
  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". Paper presented in International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), Beijing, 2018.
    Published
  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". Paper presented in 2º Congresso Português de Building Information Modelling, Lisboa, 2018.
    Published
  33. Ferreira, Bruno; Leitão, António. "Context-oriented algorithmic design". Paper presented in Proceedings of the 11th European Lisp Symposium (ELS), Marbella, 2018.
    Published • 10.4230/OASIcs.SLATE.2018.7
  34. Castelo-Branco, Renata; Leitão, António. "Algorithmic Architectural Visualization". Paper presented in Learning, Adapting and Prototyping: International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), 2018.
    Published
  35. Caetano, Inês; Leitão, António. "Algorithmic Patterns for Facade Design: Merging design exploration, optimization and rationalization". Paper presented in FACADE TECTONICS 2018, Los Angeles, 2018.
    Published
  36. Castelo-Branco, Renata; Leitão, António. "Design Algorítmico Integrado". Paper presented in ptBIM: 2º Congresso Português de Building Information Modelling, 2018.
    Published
  37. Leitão, António; Ilunga, Guilherme. "Derivative-free Methods for Structural Optimization". Paper presented in Computing for a Better Tomorrow: Proceedings of the 36th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Lodz, 2018.
    Published
  38. Belém, Catarina; Leitão, António. "From Design to Optimized Design: An algorithmic-based approach". Paper presented in omputing for a Better Tomorrow: Proceedings of the 36th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Lodz, 2018.
    Published
  39. Leitão, António; Sousa, Sofia; Loio, Francisco. "SafePath: An Agent-Based Framework to Simulate Crowd Behaviors". Paper presented in Computing for a Better Tomorrow: Proceedings of the 36th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Lodz, 2018.
    Published
  40. Aguiar, R.; Cardoso, C.; Leitão, A.. "Algorithmic design and analysis fusing disciplines". Paper presented in Annual Conference of the Association for Computer Aided Design in Architecture (ACADIA), 2017.
    Published
  41. Alfaiate, P.; Caetano, Inês; Leitão, António. "Luna Moth: Supporting Creativity in the Cloud". Paper presented in Annual Conference of the Association for Computer Aided Design in Architecture (ACADIA), Cambridge, MA, 2017.
    Published
  42. Sousa, Sofia; Caetano, Inês; Leitão, António. "Saving Lives with Generative Design and Agent-based". Paper presented in eCAADe – Educational and research in Computer Aided Architectural Design in Europe, Roma, 2017.
    Published
  43. Leitão, António; Caetano, Inês. "Integration of an Algorithmic BIM Approach in a Traditional Architecture Studio". Paper presented in International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), Suzhou, 2017.
    Published
  44. Feist, Sofia; Ferreira, Bruno; Leitão, António. "Collaborative algorithmic-based building information modelling". Paper presented in 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.
    Published
  45. Leitão, António; Castelo-Branco, Renata; Cardoso, Carmo. "Algorithmic-Based Analysis: Design and Analysis in a Multi Backend Generative Tool". Paper presented in InProtocols, Flows and Glitches: International Conference of the Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), 2017.
    Published
  46. Castelo-Branco, Renata; Leitão, António. "Integrated Algorithmic Design: A Single-Script Approach for Multiple Design Tasks". Paper presented in ShoCK! Sharing of Computable Knowledge: Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Rome, 2017.
    Published
  47. Castelo-Branco, Renata; Leitão, António. "Translating Algorithmic Designfrom CAD to BIM". Paper presented in From Nature to Architectural Matter: KineSIStemConference, 2017.
    Published
  48. Alfaiate, Pedro; Leitão, António. "Luna Moth: A Web-based Programming Environment for Generative Design". Paper presented in ShoCK: Proceedings of the 35th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Rome, 2017.
    Published
  49. Rocha, Catarina; Leitão, António. "Using Generative Design for Evaluating and Improving Energy Efficiency in Architecture". Paper presented in From Nature to Architectural Matter: Proceedings of the Kine[SIS]tem International Conference, Lisboa, 2017.
    Published
  50. Leitão, António; Caetano, Inês. "DrAFT: an Algorithmic Framework for Facade Design". Paper presented in Education and research in Computer Aided Architectural Design in Europe (eCAADe), Oulu, 2016.
    Published
  51. Caetano, Inês; Leitão, António. "Using Processing with Architectural 3D Modelling". Paper presented in Education and research in Computer Aided Architectural Design in Europe (eCAADe), Oulu, 2016.
    Published
  52. Caetano, Inês; Leitão, António. "Exploring Buildings’ Surface Patterns". Paper presented in Architecture In-Play International Conference, Lisboa, 2016.
    Published
  53. Caetano, Inês; Leitão, António. "Processing for architecture". Paper presented in ASKtheConference: Education for Research, Research for Creativity, Warsaw, 2016.
    Published
  54. Feist, S.; Barreto, G.; Ferreira, B.; Leitão, António. "Portable generative design for building information modelling". Paper presented in 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.
    Published
  55. Feist, Sofia; Leitão, António. "A-BIM: Algorithmic-Based Building Information Modelling". Paper presented in Proceedings of the 1st Portuguese Congress of Building Information Modelling (ptBIM), Guimarães, 2016.
    Published
  56. Caetano, Inês; Leitão, António; Bastos, Francisco. "Aplicação do Design Generativo nas Tecnologias BIM". Paper presented in Proceedings of the 1st Portuguese Congress of Building Information Modelling (ptBIM), GUImarães, 2016.
    Published
  57. Ferreira, Bruno; Leitão, António. "Design generativo para Building Information Modelling". Paper presented in Proceedings of the 1st Portuguese Congress of Building Information Modelling (ptBIM), Guimarães, 2016.
    Published
  58. Correia, Rodrigo; Leitão, António; Duarte, José. "A generic shape grammar interpreter for discursive grammars". Paper presented in Proceedings of the 19th Generative Art Conference, Florence, 2016.
    Published
  59. Correia, Hugo; Leitão, António. "Combining Processing with Racket". Paper presented in Proceedings of the 4th International Symposium on Languages, Applications and Technologies (SLATE), Madrid, 2015.
    Published
  60. Correia, Hugo; Leitão, António. "Extending Processing to CAD Applications". Paper presented in 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.
    Published
  61. Ferreira, Bruno; Leitão, António. "Generative Design for Building Information Modelling". Paper presented in 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.
    Published
  62. Correia, Hugo; Leitão, António. "P2R: Implementation of Processing in Racket". Paper presented in Proceedings of the 8th European Lisp Symposium (ELS), London, 2015.
    Published
  63. Ramos, Pedro; Leitão, António. "Implementing Python for DrRacket". Paper presented in Proceedings of the 3rd International Symposium on Languages, Applications and Technologies (SLATE), Dagstuhl, 2014.
    Published • http://dx.doi.org/10.4230/OASIcs.SLATE.2014.127
  64. Ramos, Pedro; Leitão, António. "Reaching python from racket". Paper presented in Proceedings of the 8th International Lisp Conference (ILC), Montreal, 2014.
    Published • 10.1145/2635648.2635660
  65. Leitão, A.M.. "Improving Generative Design by combining abstract geometry and higher-order programming". Paper presented in 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.
    Published
  66. Ramos, Pedro; Leitão, António. "An Implementation of Python for Racket". Paper presented in Proceedings of the 7th European Lisp Symposium (ELS), Paris, 2014.
    Published
  67. Leitão, António; Lopes, José; Santos, Luís. "Illustrated Programming". Paper presented in Design Agency: Proceedings of the 34th Annual Conference of the Association for Computer Aided Design in Architecture (ACADIA), California, 2014.
    Published
  68. Leitão, António; Proença, Sara. "On the Expressive Power of Programming Languages for Generative Design: The Case of Higher-Order Functions". Paper presented in Fusion: Data integration at its best: Proceedings of the 32nd Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Newcastle, 2014.
    Published
  69. Leitão, António. "Teaching Computer Science with Geometric Modeling". Paper presented in New challenges on practice, researching and teaching Geometries and Drawing: Proceedings of the Geometrias'14, Lisbon, 2014.
    Published
  70. Leitão, António; Fernandes, Rita; Santos, Luís. "Pushing the Envelope: Stretching the Limits of Generative Design". Paper presented in Knowledge-based Design: Proceedings of the 17th Conference of the Iberoamerican Society of Digital Graphics (SIGraDi), Valparaíso, 2013.
    Published
  71. Leitão, António. "Teaching Computer Science for Architecture: A proposal". Paper presented in Future Traditions: Proceedings of the 1st Education and research in Computer Aided Architectural Design in Europe (eCAADe) Regional International Workshop, Porto, 2013.
    Published
  72. Santos, Luís; Lopes, José; Leitão, António. "Collaborative Digital Design: When the architect meets the software engineer". Paper presented in Physical Digitality: Proceedings of the 30th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Prague, 2012.
    Published
  73. Correia, Rodrigo; Duarte, José; Leitão, António. "GRAMATICA: A General 3D Shape Grammar Interpreter Targeting the Mass Customization of Housing". Paper presented in Digital Physicality: Proceedings of the 30th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Preague, 2012.
    Published
  74. Lopes, J.; Leitão, A.. "Portable generative design for CAD applications". Paper presented in Integration Through Computation: Proceedings of the 31st Annual Conference of the Association for Computer Aided Design in Architecture (ACADIA), Banff, 2011.
    Published
  75. Leitão, António; Santos, Luís. "Programming Languages for Generative Design: Visual or Textual?". Paper presented in Respecting Fragile Places: Proceedings of the 29th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Ljubljana, 2011.
    Published
  76. Leitão, António; Cabecinhas, Filipe; Martins, Susana. "Revisiting the Architecture Curriculum: The Programming Perspective". Paper presented in Future Cities: Proceedings of the 28th Education and research in Computer Aided Architectural Design in Europe (eCAADe) Conference, Zurich, 2010.
    Published
  77. Correia, Rodrigo; Duarte, José; Leitão, António. "MALAG: A Discursive Grammar Interpreter for the Online Generation of Mass Customized Housin". Paper presented in Proceedings of the 4th International Conference on Design Computing and Cognition, 2010.
    Published
  78. Gonçalves, E.E.M.; Leitão, A.M.. "Using common lisp to prototype offline work in web applications for rich domains". Paper presented in Proceedings of the 6th european lisp workshop, New York, 2009.
    Published • 10.1145/1562868.1562871
  79. Leitao, A.M.. "The next 700 programming libraries". Paper presented in Proceedings of the 2007 International Lisp Conference (ILC'07), Cambridge, 2009.
    Published • 10.1145/1622123.1622147
  80. Gonçalves, E.E.M.; Leitão, A.M.. "Implementing offline work in web applications for rich domains". Paper presented in 11th International Symposium on Web Systems Evolution (WSE), Alberta, 2009.
    Published • 10.1109/WSE.2009.5632170
  81. Leitão, A.M.. "Migration of common lisp programs to the java platform-the Linj approach". Paper presented in 11th European Conference on Software Maintenance and Reengineering (CSMR'07), Amsterdam, 2007.
    Published • 10.1109/CSMR.2007.34
  82. Gonçalves, E.; Leitão, António. "Offline execution in workflow-enabled Web applications". Paper presented in 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007), 2007.
    Published • 10.1109/QUATIC.2007.22
  83. Leitão, António. "A Formal Pattern Language for Refactoring of Lisp Programs". Paper presented in Proceedings of the Sixth European Conference on Software Maintenance and Reengineering, Budapest, 2002.
    Published
  84. Leitão, António; Martins, João Pavão. "SNePS and Semi-Structured Databases". Paper presented in XIV Simpósio Brasileiro de Banco de Dados (SBBD), 1999.
    Published
Journal article
  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.
    Published • 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.
    In press • 10.1016/j.foar.2021.12.008
  6. "Sketching Algorithmic Design". Journal of Architectural Engineering (2022):
    Accepted
  7. Castelo-Branco, Renata; Caetano, Inês; Leitão, António. "Affordable Computation for Architecture". Architecture and Planning Journal 28 3 (2022):
    Published • 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):
    Accepted
  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.
    Published
  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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published
  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.
    Published
  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.
    Published • 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.
    Published
  23. Leitão, António. "Detection of Redundant Code Using R2D2". Software Quality Journal 12 4 (2004): 361-382.
    Published
Manual
  1. Leitão, António. Programação para Arquitectura. Lisboa, Portugal: IST Press. 2015.
    Accepted
  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.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2017/06 Algoritmos e Arquitetura
Algoritmos e Arquitetura (Campinas, Brazil)
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, Netherlands)

Supervision

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

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2018/06 - 2018/06 Program Chair SLATE 2018--Symposium on Languages, Applications and Technologies, Guimarães, Portugal (2018/06 - 2018/06)
Conference (President of the Organising Committee)
2010/10 - 2010/10 Program Chair ILC 2010--International Lisp Conference, Co-located with SPLASH 10, Reno/Sparks, Nevada, USA. (2010/10)
Conference (President of the Organising Committee)
2010/05/06 - 2010/05/08 Program Organizer of the European Lisp Symposium 2010 (2010)
Conference (President of the Organising Committee)
 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)
Conference (President of the Organising Committee)
2009/05 - 2009/05 Program Chair ELS 2009-2nd European Lisp Symposium, Universita` degli Studi di Milano-Bicocca, Milan, Italy (2009/05)
Conference (President of the Organising Committee)
1989/09 - 1989/09 EPIA 1989--Fourth Portuguese Conference on Artificial Intelligence (1989/09)
Conference (Member of the Organising Committee)
 Fundação Calouste Gulbenkian, Portugal

Committee member

Activity description
Role 		Institution / Organization
2013 - Current Commission for e-Learning at IST
Member
 Universidade de Lisboa Instituto Superior Técnico, Portugal

Conference scientific committee

Conference name Conference host
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

Consulting

Activity description Institution / Organization
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

Interview (newspaper / magazine)

Activity description Newspaper / Forum
2018/06 Ordre des Architectes du Québec Esquisses
Distinctions

Award

2021 Sasada Prize
Association for Computer-Aided Architectural Design Research in Asia (CAADRIA) , Hong Kong SAR China
2020 Excellence in Teaching
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 Best Paper
Association for Computer-Aided Architectural Design Research in Asia, New Zealand
2011 Best Paper Presentation, Runner-Up
eCAADe 2011-Education and research in Computer Aided Architectural Design in Europe, United Kingdom
2009 Excelence in Teaching
Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 Excelence in Teaching
Universidade de Lisboa Instituto Superior Técnico, Portugal

Other distinction

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, United States
1990 Grant MSc
JNICT, Program Ciência, Portugal
1987 Grant Young Researcher
JNICT, Program Ciência, Portugal