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]. I am generally interested in the topic of synchronizing model viewpoints in engineered systems. My current research is focused on formal traceability, change propagation, and plan synthesis within autonomous systems.
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
| Summer 2022 | 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
- "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
- "Cospans and Computation" on the n-Category Cafe [post]
Extracurriculars
Co-organizer of The Adjoint School, 2022-2023
Student of The Adjoint School, 2021