Justin Brody

Assistant ProfessorComputer Science

Justin Brody has been guided by twin passions in his academic life: the beauty of mathematics and the mysteries of the human mind. He has explored both of these throughout his career.   As an undergraduate he studied both  computer science and mathematics, where his primary interest was in artificial intelligence.  After graduating he took temporary monastic vows at Gampo Abbey where he was able to explore ideas about the human mind from a philosophical and experiential standpoint.  Returning to Maryland, he enrolled in courses in philosophy and cognitive science while pursuing his doctorate in pure mathematics.  More recently, he spent the 2015-6 academic year at the University of Maryland's Institute for Advanced Computer Studies, where he was able to deepen his engagement with artificial intelligence.

Show more or less of the faculty member's bio

Research, Scholarship, Creative Work in Progress

My current research is focused on mathematical models of self, particularly how such can shed light on questions of consciousness and fundamental human experience.  In particular, my group is exploring computational models of self-knowledge in video-game playing agents; a dynamic self-referential form of temporal logic; and extensions to “the Good Regulator Theorem”, a fundamental result in cybernetics.



Brody, Justin.  "Full Amalgamation Classes with ∃-Resolutions”, (submitted). Preprint is here.

Brody, Justin.  "Full Amalgamation Classes with Intrinsic Transcendentals", (submitted). Preprint is here.

Brody, Justin, et al. "Reasoning with Grounded Self-Symbols for Human-Robot Interaction." 2016 AAAI Fall Symposium Series. 2016.

Brody, Justin. "The Enacted KOAN–An Agent's Knowledge of Agency." Procedia Computer Science 88 (2016): 211-216.

Brody, Justin, Perlis, D, and Shamwell, J.  “Who’s Talking – – Efference Copy and a Robot’s Sense of Agency”, 2015 Association for the Advancement of Artificial Intelligence Fall Symposium Series. 2015.

Brody, Justin. "Neural Networks, Human Perception and Modern Buddhism" 2014 AAAI Fall Symposium Series. 2014.

Brody, Justin, Michael T. Cox, and Donald Perlis. "Incorporating Elements of a Processual Self into Active Logic." 2014 AAAI Spring Symposium Series. 2014.

Brody, Justin, Michael T. Cox, and Donald Perlis. "The processual self as cognitive unifier." Proceedings of the Annual Meeting of the International Association for Computing and Philosophy. 2013.

Brody, Justin, and M. C. Laskowski. "On rational limits of Shelah-Spencer graphs." Journal of Symbolic Logic 77.2 (2012): 580-592.

Invited Talks

Invited participant to workshop on Logic and Random Graphs at the University of Leiden in the Netherlands.  More information is here.

Invited talk on “Full Amalgamation Classes with Existential Resolutions”  New York Logic Seminar, March 2016.