Dr. Nikos Arechiga Gonzalez is a senior research scientist on the Harmonious Communities team within the Human-Centered AI (HCAI) division at Toyota Research Institute (TRI). Dr. Arechiga Gonzalez is interested in developing new AI models that can collaborate closely with humans, each building on the strengths and shoring up the weaknesses of the other. This requires greater interpretability of AI models as well as insights from behavioral science. He has done some theory work on bridging the gap between conventional machine learning models and logical reasoning, which may be useful to provide scaffolding for interpretable AI models.

Before joining TRI, Dr. Arechiga Gonzalez worked on research projects to apply machine learning to various verification and validation topics, such as adversarial stress testing with reinforcement learning, fault detection in perception systems, and automatically synthesizing lemmas to simplify proofs by a logic engine. His Ph.D. in electrical and computer engineering from Carnegie Mellon was on heuristics to design and verify control systems with a logic engine.