???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
António José dos Reis Morgado

Nomes de citação

  • Morgado, António
  • Morgado, Antonio

Identificadores de autor

Ciência ID
B71C-F10C-CE2D
ORCID iD
0000-0002-5295-1321
Google Scholar ID
iAok8mcAAAAJ
Scopus Author Id
36914536800

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)
Formação
Grau Classificação
2011
Concluído
PhD Computer Science & Informatics (Doctor of Philosophy)
University College Dublin, Irlanda
"Modeling and Solving Combinatorial Optimization Problems" (TESE/DISSERTAÇÃO)
n/a
2006
Concluído
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Learning Techniques for Model Enumeration in Boolean Satisfiability" (TESE/DISSERTAÇÃO)
Aprovado
2002
Concluído
Matemática Aplicada e Computação (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"n/a" (TESE/DISSERTAÇÃO)
14
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
2022/07/01 - 2023/12/31 Investigador Contratado (Investigação) Universitat de Lleida, Espanha
Universitat de Lleida, Espanha
2019/11/01 - 2022/04 Pós-doutorado (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2024/01/01 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal

Outros

Categoria Profissional
Instituição de acolhimento
Empregador
2018/10/23 - 2019/10/29 PostDoc Researcher for the FaultLocker project Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
2015/09/01 - 2018/08/31 PostDoc Researcher for the SPEAR project with reference SFRH/BPD/103609/2014 Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
2014/04/01 - 2015/08/31 Post-Doc Researcher for the project POLARIS PTDC/EIA-CCO/123051/2010 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2013/08/01 - 2014/03/01 Post-Doc Researcher for the project ATTEST CMU-PT/ELE/0009/2009 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2011/02/01 - 2013/07/01 Post-Doc Researcher for the project BEACON:BoolEAn-based DeCision and OptimizatioN procedures University College Dublin, Irlanda
2006/09/01 - 2011/02/01 PhD student with a PhD scholarship of the Microsoft Research European PhD Scholarship Programme 2006 University College Dublin, Irlanda
2010/07/01 - 2010/09/01 Assistant Researcher for the project BEACON:BoolEAn-based DeCision and OptimizatioN procedures University College Dublin, Irlanda
2010/01/01 - 2010/06/01 Assistant Researcher for the project COCONUT: A Correction-by-Construction Workbench for the Design and Verification of Embebded Systems University College Dublin, Irlanda
2002/01/01 - 2006/08/01 Master Student with a Scholarship for Master student in a research project sponsored by FCT Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2001/08/01 - 2001/12/01 Trainee at the SATgroup (INESC-ID Lisboa) sponsored by European project PRODEPIII Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Projetos

Bolsa

Designação Financiadores
2015/09 - 2018/08 Spear Project
SFRH/BPD/103609/2014
Governo da República Portuguesa Ministério da Ciência Tecnologia e Ensino Superior
Produções

Publicações

Artigo em conferência
  1. Ramos, Frederico; Reis, Diogo Costa; Trigo, Miguel; Morgado, António; Fragoso Santos, José. "MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations". Trabalho apresentado em ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023.
    Publicado • 10.1145/3597926.3604923
  2. Ignatiev, A.; Morgado, A.; Weissenbacher, G.; Marques-Silva, J.. "Model-based diagnosis with multiple observations". 2019.
  3. Bonet, M.L.; Buss, S.; Ignatiev, A.; Marques-Silva, J.; Morgado, A.. "MaxSat resolution with the dual rail encoding *". 2018.
  4. Ignatiev, A.; Morgado, A.; Marques-Silva, J.. "Cardinality encodings for graph optimization problems". 2017.
  5. Marques-Silva, J.; Janota, M.; Ignatiev, A.; Morgado, A.. "Efficient model based diagnosis with maximum satisfiability". 2015.
  6. Previti, A.; Ignatiev, A.; Morgado, A.; Marques-Silva, J.. "Prime compilation of non-clausal formulae". 2015.
  7. Morgado, A.; Heras, F.; Marques-Silva, J.. "Model-guided approaches for maxsat solving". 2013.
    10.1109/ICTAI.2013.142
  8. Hers, F.; Morgado, A.; Planes, J.; Marques-Silva, J.. "Iterative SAT solving for minimum satisfiability". 2012.
    10.1109/ICTAI.2012.129
  9. Morgado, A.; Marques-Silva, J.. "On validating boolean optimizers". 2011.
    10.1109/ICTAI.2011.157
  10. Heras, F.; Morgado, A.; Marques-Silva, J.. "Core-guided binary search algorithms for maximum satisfiability". 2011.
  11. Morgado, A.; Marques-Silva, J.. "Combinatorial optimization solutions for the maximum quartet consistency problem". 2009.
  12. Morgado, A.; Marques-Silva, J.. "Good learning and implicit model enumeration". 2005.
    10.1109/ICTAI.2005.69
Artigo em revista
  1. Mikoláš Janota; António Morgado; Petr Vojtechovský. "Computing generating sets of minimal size in finite algebras". Journal of Symbolic Computation (2023): https://doi.org/10.1016/j.jsc.2023.02.002.
    10.1016/j.jsc.2023.02.002
  2. Bonet, Maria Luisa; Buss, Sam; Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao. "Propositional proof systems based on maximum satisfiability". Artificial Intelligence 300 (2021): 103552. http://dx.doi.org/10.1016/j.artint.2021.103552.
    10.1016/j.artint.2021.103552
  3. Ignatiev, A.; Morgado, A.; Planes, J.; Marques-Silva, J.. "Maximal falsifiability". AI Communications 29 2 (2016): 351-370. http://www.scopus.com/inward/record.url?eid=2-s2.0-84960464719&partnerID=MN8TOARS.
    10.3233/AIC-150685
  4. Heras, F.; Morgado, A.; Marques-Silva, J.. "MaxSAT-based encodings for Group MaxSAT". AI Communications 28 2 (2015): 195-214. http://www.scopus.com/inward/record.url?eid=2-s2.0-84922526532&partnerID=MN8TOARS.
    10.3233/AIC-140636
  5. Morgado, A.; Heras, F.; Liffiton, M.; Planes, J.; Marques-Silva, J.. "Iterative and core-guided MaxSAT solving: A survey and assessment". Constraints 18 4 (2013): 478-534. http://www.scopus.com/inward/record.url?eid=2-s2.0-84882242017&partnerID=MN8TOARS.
    10.1007/s10601-013-9146-2
  6. Morgado, A.; Marques-Silva, J.. "Combinatorial optimization solutions for the maximum quartet consistency problem". Fundamenta Informaticae 102 3-4 (2010): 363-389. http://www.scopus.com/inward/record.url?eid=2-s2.0-78650349656&partnerID=MN8TOARS.
    10.3233/FI-2010-311
Capítulo de livro
  1. Xuanxiang Huang; Martin C. Cooper; Antonio Morgado; Jordi Planes; Joao Marques-Silva. "Feature Necessity & Relevancy in ML Classifier Explanations". 2023.
    10.1007/978-3-031-30823-9_9
  2. Mikoláš Janota; António Morgado. "SAT-Based Encodings for Optimal Decision Trees with Explicit Paths". 501-518. Springer International Publishing, 2020.
    10.1007/978-3-030-51825-7_35
Livro
  1. Zakirzyanov, I.; Morgado, A.; Ignatiev, A.; Ulyantsev, V.; Marques-Silva, J.. Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. 2019.
    10.1007/978-3-030-13435-8_12
  2. Morgado, A.; Ignatiev, A.; Bonet, M.L.; Marques-Silva, J.; Buss, S.. DRMaxSAT with MaxHS: First Contact. 2019.
    10.1007/978-3-030-24258-9_17
  3. Ignatiev, A.; Morgado, A.; Marques-Silva, J.. PySAT: A python toolkit for prototyping with SAT oracles. 2018.
    10.1007/978-3-319-94144-8_26
  4. Marques-Silva, J.; Ignatiev, A.; Morgado, A.. Horn maximum satisfiability: Reductions, algorithms and applications. 2017.
    10.1007/978-3-319-65340-2_56
  5. Ignatiev, A.; Morgado, A.; Marques-Silva, J.. On tackling the limits of resolution in SAT solving. 2017.
    10.1007/978-3-319-66263-3_11
  6. Ignatiev, A.; Morgado, A.; Marques-Silva, J.. Propositional abduction with implicit hitting sets. 2016.
    10.3233/978-1-61499-672-9-1327
  7. Morgado, A.; Dodaro, C.; Marques-Silva, J.. Core-guided MaxSAT with soft cardinality constraints. 2014.
    10.1007/978-3-319-10428-7_41
  8. Marques-Silva, J.; Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.. Efficient autarkies. 2014.
    10.3233/978-1-61499-419-0-603
  9. Ignatiev, A.; Morgado, A.; Marques-Silva, J.. On reducing maximum independent set to minimum satisfiability. 2014.
    10.1007/978-3-319-09284-3_9
  10. Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.; Marques-Silva, J.. Progression in maximum satisfiability. 2014.
    10.3233/978-1-61499-419-0-453
  11. Belov, A.; Morgado, A.; Marques-Silva, J.. SAT-based preprocessing for MaxSAT. 2013.
    10.1007/978-3-642-45221-5_7
  12. Ignatiev, A.; Morgado, A.; Planes, J.; Marques-Silva, J.. Maximal falsifiability: Definitions, algorithms, and applications. 2013.
    10.1007/978-3-642-45221-5_30
  13. Morgado, A.; Liffiton, M.; Marques-Silva, J.. MaxSAT-based MCS enumeration. 2013.
    10.1007/978-3-642-39611-3-13
  14. Morgado, A.; Heras, F.; Marques-Silva, J.. Improvements to core-guided binary search for MaxSAT. 2012.
    10.1007/978-3-642-31612-8_22
  15. Heras, F.; Morgado, A.; Marques-Silva, J.. Lower bounds and upper bounds for MaxSAT. 2012.
    10.1007/978-3-642-34413-8_35
  16. Heras, F.; Morgado, A.; Marques-Silva, J.. An empirical study of encodings for group MaxSAT. 2012.
    10.1007/978-3-642-30353-1_8
  17. Morgado, A.; Matos, P.; Manquinho, V.; Marques-Silva, J.. Counting models in integer domains. 2006.
Atividades

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)
Instituição / Organização
2019/07/03 - 2019/07/06 Organized the summer school for the SAT, SMT and AR communitities, called the SAT/SMT/AR Summer School 2019 (2019/07/03 - 2019/07/03)
Oficina (workshop) (Coorganizador)
Universidade de Lisboa Instituto Superior Técnico, Portugal
Distinções

Prémio

2018 FLoC olympic Games 2018 (2)
2018 FLoC olympic Games 2018 (1)