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 Student at the University of Maryland, College Park advised by William Regli [bio] with a focus in AI and robotics. I am interested in understanding how an environment influences what an agent can do in it. My current research seeks to formally model the affordance relation between a context-aware knowledge base and task plans using symmetric delta lenses.
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, software engineering design, computer vision, and geospatial information systems. My hobbies include musical theater and video editing.
CVPlaces
| 2022 - now | Topos Institute |
| 2018 - now | University of Maryland, College Park |
| 2017 - now | Johns Hopkins University Applied Physics Laboratory |
| 2012 - 2017 | Drexel University |
Papers
- 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, doi: 10.1109/TASE.2021.3094055. [paper]
- 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. doi: 10.1109/TMI.2018.2874104. [paper]
- 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
- Aguinaldo A., Regli W. Modeling traceability, change information, and synthesis in autonomous system design using symmetric delta lenses. ICRA Compositional Robotics Workshop 2022. [paper]
- Aguinaldo A., Regli W. Encoding Compositionality in Classical Planning Solutions. IJCAI Workshop on Generalization in Planning 2021. [paper]
- Aguinaldo A., Regli W. A Graphical Model-Based Representation for Classical AI Plans using Category Theory. ICAPS 2021 Workshop on Explainable AI Planning. [paper]
- Aguinaldo A., Chiang P., Gain A., Patil A., Pearson K., Feizi S. Compressing GANs using Knowledge Distillation. arXiv pre-print. [paper]
Talks
- "Contextual affordances in context-aware autonomous systems" at NIST Compositional Structures for Systems Engineering and Design Workshop [website][slides]
- "Category theory for automated planning and program compilation in robotics" at Topos Berkeley Seminar [website][slides][video]
- "Applications of category theory to automated planning and program compilation in robotics" at Xerox PARC Design Seminar [slides]
- "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]
- "Encoding Compositionality in Classical Planning Solutions" at International Joint Conference for Artifical Intelligence (IJCAI): Workshop on Generalization in Planning in 2021 [website][slides]
- "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]
- "Polynomial Functors in Catlab" at the Applied Category Theory Conference in 2021 [slides]
- "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]
- "Category Theory for Software Modeling and Design" at Hunter College Applied Mathematics Seminar in 2020 [website][slides]
Blog posts
- (09/2022) "Using categorical logic for AI planning" on the Topos Institute Blog [post] and AlgebraicJulia Blog [cross-post]
- (08/2021) "Cospans and Computation" on the n-Category Cafe [post]
Extracurriculars
Co-organizer of The Adjoint School, 2022-2023
Student of The Adjoint School, 2021