Institution profile

University of Vermont

Academic institutionnorthamerica · us
Official website
Research library45linked papers
Opportunities0open roles
Selected work

Representative Papers

Environmental resilience via morphological diversity within machines

Aug 03, 2026

Current robotic systems lack the adaptability and resilience of biological organisms when facing unforeseen disturbances in novel environments. This work proposes a novel multi-agent collective architecture that integrates morphologically diverse sub-agents through learnable physical connectors and incorporates a pretraining mechanism based on internal physical perturbations. This approach enhances the system’s robustness to external environmental changes without requiring post-deployment fine-tuning. The study provides the first evidence that internally generated physical adversarial dynamics—such as those induced by inter-agent connections—can effectively improve environmental resilience. It further demonstrates that both the number of sub-agents and their morphological diversity positively contribute to behavioral stability. Experimental results show that the proposed method significantly boosts the collective’s adaptive capacity and task performance in previously unseen environments.

0 citationsRead paper

Qoreo: Choreographic Programming for Quantum Distributed Systems

Jul 22, 2026

Programming distributed quantum systems requires careful coordination of quantum operations, classical communication, and entanglement generation; conventional approaches are error-prone and susceptible to deadlocks or the creation of invalid quantum states. This work proposes Qoreo, the first choreographic programming language for distributed quantum systems, which unifies collaborative behavior through global protocols and automatically projects them into deadlock-free local processes. Qoreo integrates linear types to enforce the no-cloning theorem, introduces a choreography language that seamlessly combines classical and quantum communication, and features an endpoint projection (EPP) mechanism. The framework’s type safety and EPP correctness are formally verified in Rocq. Moreover, Qoreo supports code generation targeting NetQASM and has been validated through simulation and execution on real quantum network hardware.

0 citationsRead paper
Recent publications

Latest Papers

Environmental resilience via morphological diversity within machines

Aug 03, 2026

Current robotic systems lack the adaptability and resilience of biological organisms when facing unforeseen disturbances in novel environments. This work proposes a novel multi-agent collective architecture that integrates morphologically diverse sub-agents through learnable physical connectors and incorporates a pretraining mechanism based on internal physical perturbations. This approach enhances the system’s robustness to external environmental changes without requiring post-deployment fine-tuning. The study provides the first evidence that internally generated physical adversarial dynamics—such as those induced by inter-agent connections—can effectively improve environmental resilience. It further demonstrates that both the number of sub-agents and their morphological diversity positively contribute to behavioral stability. Experimental results show that the proposed method significantly boosts the collective’s adaptive capacity and task performance in previously unseen environments.

0 citationsRead paper

Qoreo: Choreographic Programming for Quantum Distributed Systems

Jul 22, 2026

Programming distributed quantum systems requires careful coordination of quantum operations, classical communication, and entanglement generation; conventional approaches are error-prone and susceptible to deadlocks or the creation of invalid quantum states. This work proposes Qoreo, the first choreographic programming language for distributed quantum systems, which unifies collaborative behavior through global protocols and automatically projects them into deadlock-free local processes. Qoreo integrates linear types to enforce the no-cloning theorem, introduces a choreography language that seamlessly combines classical and quantum communication, and features an endpoint projection (EPP) mechanism. The framework’s type safety and EPP correctness are formally verified in Rocq. Moreover, Qoreo supports code generation targeting NetQASM and has been validated through simulation and execution on real quantum network hardware.

0 citationsRead paper