Dr. He Cheng earned his Ph.D. in Computer Science from Utah State University. His research focuses on AI for healthcare, particularly neural-symbolic learning and large language model (LLM) reasoning. At the LARK Lab, he is developing robust and trustworthy LLM applications for biomedical and clinical use. Outside of work, he enjoys hiking and exploring new places.