Gabriel Poesia — Computer Science & Eng. faculty at Michigan. Research: Artificial Intelligence, Formal Reasoning, Neuro-symbolic Systems, Reinforcement.