-
. Responsibilities: Conduct research on automated reasoning and proof checker, AI-assisted collaboration. Develop and analyze algorithms for learning and optimization. Participate in collaborative research projects
-
vision, controls, cyber-physical systems and their security, hardware security, and machine learning and their security. The work will include algorithm design, prototype implementation (e.g., in Matlab
-
-impact research findings/scholarship during postdoc appointment period. The Huang Lab uses both experimental and computational genomics approaches to study gene regulation at the systems level. Planned
-
of the faculty mentor; and publication of research findings/scholarship during postdoc appointment period. The Coleman lab studies the neurobiology of novelty: how evolution modifies neural circuits to generate
-
in innovative research projects in ML, focusing on developing novel ML algorithms, enhancing human-AI collaboration, and exploring systems tailored to dynamic, human-centered environments. They may