eaaron@colby.edu
|
|
Fall 2022 Office Hours (in Davis 113)
M 4:00-5:00pm,
T 2:30-4:00pm (immediately following the CS378 class meeting),
W 2:30-4:00pm (immediately following the CS375 class meeting),
R 11am-12:00noon,
and by email appointment
• For the time being, please wear a mask when in my office hours
Courses, Fall 2022
•
CS 375: Analysis of Algorithms
M W 1:00-2:15pm, Davis 117
•
CS 378: Theory of Computation
T R 1:00-2:15pm, Davis 117
|
News--AAAI (Association for the Advancement of Artificial Intelligence) Undergraduate Consortium
At the 2021 and 2022 AAAI Conferences,
I co-Chaired the Undergraduate Consortium, an opportunity for a selected group of undergraduate scholars to meet peers and professionals, and to receive mentorship and resources to help in pursuing a career in AI research. You can check out the programs of each year's Undergraduate Consortium (2021, 2022) and a YouTube playlist of our scholars' videos describing their research!
News--WIREs Cognitive Science Journal
I have recently joined the Editorial Board of WIREs (Wiley Interdisciplinary
Reviews) as the Computer Science and Robotics Editor for
WIREs Cognitive Science. I'm very excited to be part of a group that
promotes the communication of important Computer Science and Robotics
research in a forum for the Cognitive Science community!
News--E-Book: Evolvability, Environments, Embodiment & Emergence in Robotics
Along with colleagues John Long (Vassar College) and Stéphane Doncieux (Université Pierre et Marie Curie), I have co-edited a Frontiers Research Topic called Evolvability, Environments, Embodiment & Emergence in Robotics.
In November 2018, this research topic was published as an e-book, free to download! I hope anyone interested in this fascinating interdisciplinary area will check it out!
Research Interests
Interdisciplinary Computational Science, Robotics, Computational Modeling and Simulation, Artificial Intelligence, Hybrid Systems, System Verification, Cognitive Science
CV / Selected Publications
My CV is available in PDF format.
Some selected publications, indicative of some primary interests:
- Morphological Evolution: Bioinspired Methods for Analyzing Bioinspired Robots.
E. Aaron, J. Hawthorne-Madell, K. Livingston, and J. H. Long, Jr.
Frontiers in Robotics and AI, 14 January, 2022. https://doi.org/10.3389/frobt.2021.717214
- Embodied Computational Evolution: Feedback Between Development and Evolution in Simulated Biorobots.
J. Hawthorne-Madell, E. Aaron, K. Livingston, and J. H. Long, Jr.
Frontiers in Robotics and AI, 10 June, 2021. https://doi.org/10.3389/frobt.2021.674823
- Toward Population-Level Biohybrid Systems: Bioinspiration and Behavior.
E. Aaron and J. H. Long, Jr.
Conference on Artificial Life (ALIFE 2021), 46-48, 2021. https://doi.org/10.1162/isal_a_00432
- Epigenetic operators and the evolution of physically embodied robots.
J. Brawer, A. Hill, K. Livingston, E. Aaron, J. Bongard and J. H. Long.
Frontiers in Robotics and AI, 24 January, 2017.
https://doi.org/10.3389/frobt.2017.00001
- Dynamical Intention: Integrated Intelligence Modeling for Goal-Directed Embodied Agents.
Eric Aaron
Frontiers in Robotics and AI, 17 November, 2016.
https://doi.org/10.3389/frobt.2016.00066
- Understanding the U.S. Domestic Computer Science Ph.D. Pipeline.
S. Hambrusch, R. Libeskind-Hadas, and E. Aaron.
Communications of the ACM, 58(8), 29--32, 2015.
- Multi-robot foremost coverage of time-varying graphs.
E. Aaron, D. Krizanc, and E. Meyerson.
10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS 2014), 22--38, 2014.
Other Noteworthy Publications
- Modal Logic Semantics
One way to avoid difficulties with partial functions is by
employing the notion of underspecification. In modal
logic S5 and some semantically related logics,
underspecification preserves validity, so incorporating
underspecification into their semantics does not change the
classes of valid formulae. A formalization of
underspecification and results for these modal logics are
concisely presented in Formal justification of
underspecification for S5 (co-author: David Gries).
- The Monty Hall Problem
The notorious brainteaser "The Monty Hall Problem"
(also called "The Three Doors Problem") is the source of much debate.
Would people be more likely
to correctly perform the underlying mathematics if the puzzle were presented
in a frequency format rather than a probability format?
Would people be more likely to arrive at the correct answer?
Results are reported in Frequency vs. probability
formats: Framing the three doors problem
(PDF version) (co-author: Michael Spivey).
This paper is also extensively quoted on pages 149-151 of the book
The Monty Hall Problem (Oxford University Press, 2009).
- Nuprl
Most documentation about the Nuprl automated reasoning system
has been written from an "insider's"
perspective. I used the system but was not involved in its
development; I have a user's perspective. My A
User-Level Introduction to the Nuprl Proof Development System
(PDF version) was solicited by the Nuprl
group at Cornell University.
Non-academic stuff
Music is one of my most important non-academic interests. I
have written about music (album reviews
and features), broadcast as a jazz DJ (a weekly
commercial radio show), and played in a few rock bands
that successfully made it out of the garage.
|
|