Stanford PhD with expertise in machine learning, control theory and formal verification. Happy to help with coding, math, and engineering topics.