Angeline Aguinaldo


Github: https://github.com/aaguinal
Google Scholar: https://scholar.google.com/citations?hl=en&user=7-4RZdcAAAAJ
Email: [email protected]

I am a Computer Science PhD Candidate at the University of Maryland, College Park advised by William Regli [bio] with a focus in AI and robotics. My current research aims to address the challenge of robotic task planning in complex domains, especially ones with a large number of objects and properties, rich relations and dependencies, and incomplete or evolving knowledge.

I am also a research software engineer (What's a research software engineer?) at the Johns Hopkins University Applied Physics Laboratory where I have designed and implemented prototype software platforms that support image analysis for humanitarian and disaster relief [ref], test and evaluation of metagenomic classifiers [ref], and data integration and analysis of social media and other publicly available information.

My topic areas of interest include category theory, robotics, AI planning, knowledge representation, and computer vision. My hobbies include musical theater and video editing.

Places

2018 - now University of Maryland, College Park
2017 - now Johns Hopkins University Applied Physics Laboratory
2022 - 2023 Topos Institute
2012 - 2017 Drexel University

Papers

  1. Aguinaldo, A., Patterson, E., Fairbanks, J., Regli, W., & Ruiz, J. A Categorical Representation Language and Computational System for Knowledge-Based Planning. 2023 AAAI Fall Symposium on Unifying Representations for Robot Application Development (Best Paper). 2023. [paper], [slides]
  2. Player, R. A., Aguinaldo, A., Merritt, B. B., Maszkiewicz, L. N., Adeyemo, O. E., Forsyth, E. R., Verratti, K. J., Chee, B. W., Grady, S. L., & Bradburne, C. The META Tool Optimizes Metagenomic Analyses Across Sequencing Platforms and Classifiers. SSRN Electronic Journal, January, 1–14, 2021. https://doi.org/10.2139/ssrn.3899428 [paper]
  3. Aguinaldo A., Bunker J., Pollard B., Shukla A., Canedo A., Quiros G., Regli W. RoboCat: A Category Theoretic Framework for Robotic Interoperability Using Goal-Oriented Programming. IEEE Transactions on Automation Science and Engineering, 2019. doi: 10.1109/TASE.2021.3094055. [paper]
  4. Winter M., Mankowski W., Wait E., De La Hoz E. C., Aguinaldo A., Cohen A. R. Separating Touching Cells Using Pixel Replicated Elliptical Shape Models. IEEE Trans Med Imaging. 2019;38(4):883-893, 2019. doi: 10.1109/TMI.2018.2874104. [paper]
  5. Caino M., Seo J., Aguinaldo A. et al. A neuronal network of mitochondrial dynamics regulates metastasis. Nat Commun 7, 13730 (2016). https://doi.org/10.1038/ncomms13730. [paper]

Pre-prints

  1. Aguinaldo, A., Patterson, E., Fairbanks, J., & Ruiz, J. A Categorical Representation Language and Computational System for Knowledge-Based Planning. arXiv pre-print (submitted 2023). [paper]
  2. Aguinaldo A., Regli W. Modeling traceability, change information, and synthesis in autonomous system design using symmetric delta lenses. ICRA Compositional Robotics Workshop 2022. [paper]
  3. Aguinaldo A., Regli W. Encoding Compositionality in Classical Planning Solutions. IJCAI Workshop on Generalization in Planning 2021. [paper]
  4. Aguinaldo A., Regli W. A Graphical Model-Based Representation for Classical AI Plans using Category Theory. ICAPS 2021 Workshop on Explainable AI Planning. [paper]
  5. Aguinaldo A., Chiang P., Gain A., Patil A., Pearson K., Feizi S. Compressing GANs using Knowledge Distillation. arXiv pre-print (submitted 2019). [paper]

Talks

  1. "A Category Theoretic Approach to Planning in a Complex World" at Microsoft Future Leaders in Robotics and AI Seminar Series [website][slides][video]
  2. "Contextual affordances in context-aware autonomous systems" at AMS JMM 2023 Special Session on Applied Category Theory (a Mathematics Research Communities session) [website][slides]
  3. "Contextual affordances in context-aware autonomous systems" at NIST Compositional Structures for Systems Engineering and Design Workshop [website][slides]
  4. "Category theory for automated planning and program compilation in robotics" at Topos Berkeley Seminar [website][slides][video]
  5. "Applications of category theory to automated planning and program compilation in robotics" at Xerox PARC Design Seminar [slides]
  6. "Modeling traceability, change information, and synthesis in autonomous system design using symmetric delta lenses" at International Conference for Robotics and Automation (ICRA) 2022 Compositional Robotics Workshop in 2022 [website][slides]
  7. "Encoding Compositionality in Classical Planning Solutions" at International Joint Conference for Artifical Intelligence (IJCAI): Workshop on Generalization in Planning in 2021 [website][slides]
  8. "A Graphical Model-Based Representation for Classical AI Plans using Category Theory" at International Conference for Automated Planning and Scheduling (ICAPS): Explainable AI Planning Workshop in 2021 [website][slides]
  9. "Polynomial Functors in Catlab" at the Applied Category Theory Conference in 2021 [slides]
  10. "Diary of a software engineering using categories" at Topos Institute: Berkeley Seminar [website] and Lógicos em Quarentena (LQ) Seminar [website] in 2021 [slides][video]
  11. "Category Theory for Software Modeling and Design" at Hunter College Applied Mathematics Seminar in 2020 [website][slides]

Blog posts

Extracurriculars

Open-source contributor to AlgebraicJulia

Co-organizer of ICRA Compositional Robotics: Mathematics and Tools, 2023, 2024

Co-organizer of The Adjoint School, 2022, 2023

Student of The Adjoint School, 2021



Last modified EST