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], focusing on AI and robotics. My research leverages category theory to develop formal methods for modular plan composition, knowledge-based task planning, and plan migrations.

I am a research staff member at the Johns Hopkins University Applied Physics Laboratory, where I have developed software platforms for geospatial computer vision processing in support of humanitarian and disaster relief efforts [ref], as well as for testing and evaluating metagenomic classifiers [ref].

My research areas of interest include AI planning, robotics, knowledge representation, and category theory. 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. Frontiers in Bioinformatics, 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., Regli, W. Automating Transfer of Robot Task Plans using Functorial Data Migrations. arXiv pre-print (submitted 2024). [paper]
  2. 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]
  3. Aguinaldo A., Regli W. Modeling traceability, change information, and synthesis in autonomous system design using symmetric delta lenses. ICRA Compositional Robotics Workshop 2022. [paper]
  4. Aguinaldo A., Regli W. Encoding Compositionality in Classical Planning Solutions. IJCAI Workshop on Generalization in Planning 2021. [paper]
  5. Aguinaldo A., Regli W. A Graphical Model-Based Representation for Classical AI Plans using Category Theory. ICAPS 2021 Workshop on Explainable AI Planning. [paper]
  6. 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. "'What's the plan?', asked my robot" at JuliaCon 2024 [abstract]
  2. "A Category Theoretic Approach to Planning in a Complex World" at Microsoft Future Leaders in Robotics and AI Seminar Series in 2023 [website][slides][video]
  3. "Contextual affordances in context-aware autonomous systems" at AMS JMM 2023 Special Session on Applied Category Theory (a Mathematics Research Communities session) [website][slides]
  4. "Contextual affordances in context-aware autonomous systems" at NIST Compositional Structures for Systems Engineering and Design Workshop [website][slides]
  5. "Category theory for automated planning and program compilation in robotics" at Topos Berkeley Seminar [website][slides][video]
  6. "Applications of category theory to automated planning and program compilation in robotics" at Xerox PARC Design Seminar [slides]
  7. "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]
  8. "Encoding Compositionality in Classical Planning Solutions" at International Joint Conference for Artifical Intelligence (IJCAI): Workshop on Generalization in Planning in 2021 [website][slides]
  9. "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]
  10. "Polynomial Functors in Catlab" at the Applied Category Theory Conference in 2021 [slides]
  11. "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]
  12. "Category Theory for Software Modeling and Design" at Hunter College Applied Mathematics Seminar in 2020 [website][slides]

Blog posts

Extracurriculars

Co-author of Relational Thinking: From Abstractions to Applications (2024) digital textbook

Open-source contributor to AlgebraicJulia

Local organizer of the Applied Category Theory (ACT) conference, 2023

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

Co-organizer of The Adjoint School, 2022, 2023

Student of The Adjoint School, 2021



Last modified EST