???global.info.a_carregar???
Identification

Personal identification

Full name
António José dos Reis Morgado

Citation names

  • Morgado, António
  • Morgado, Antonio

Author identifiers

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

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)
Education
Degree Classification
2011
Concluded
 PhD Computer Science & Informatics (Doctor of Philosophy)
University College Dublin, Ireland
"Modeling and Solving Combinatorial Optimization Problems" (THESIS/DISSERTATION)
 n/a
2006
Concluded
 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" (THESIS/DISSERTATION)
 Aprovado
2002
Concluded
 Matemática Aplicada e Computação (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"n/a" (THESIS/DISSERTATION)
 14
Affiliation

Science

Category
Host institution 		Employer
2022/07/01 - 2023/12/31 Contracted Researcher (Research) Universitat de Lleida, Spain
Universitat de Lleida, Spain
2019/11/01 - 2022/04 Postdoc (Research) 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

Teaching in Higher Education

Category
Host institution 		Employer
2024/01/01 - Current Assistant Professor (University Teacher) Universidade de Lisboa, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal

Others

Category
Host institution 		Employer
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, Ireland
2006/09/01 - 2011/02/01 PhD student with a PhD scholarship of the Microsoft Research European PhD Scholarship Programme 2006 University College Dublin, Ireland
2010/07/01 - 2010/09/01 Assistant Researcher for the project BEACON:BoolEAn-based DeCision and OptimizatioN procedures University College Dublin, Ireland
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, Ireland
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
Projects

Grant

Designation Funders
2015/09 - 2018/08 Spear Project
SFRH/BPD/103609/2014
 Governo da República Portuguesa Ministério da Ciência Tecnologia e Ensino Superior
Outputs

Publications

Book
  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.
Book chapter
  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
Conference paper
  1. Ramos, Frederico; Reis, Diogo Costa; Trigo, Miguel; Morgado, António; Fragoso Santos, José. "MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations". Paper presented in ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023.
    Published • 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
Journal article
  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
Activities

Event organisation

Event name
Type of event (Role) 		Institution / Organization
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)
Workshop (Co-organisor)
 Universidade de Lisboa Instituto Superior Técnico, Portugal
Distinctions

Award

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