The Institute for Systems Research
- Ph.D., Mechanical Engineering, California Institute of Technology, June 2013
- M.S., Mechanical and Civil Engineering, June 2008
- S.B., Mechanical and Materials Sciences and Engineering, Harvard University, June 2007
Huan Xu is a Research Assistant Professor jointly appointed in the Institute for Systems Research and the Department of Aerospace Engineering. She received her S.B. degree in mechanical engineering and material science from Harvard University in 2007, M.S. and Ph.D. in mechanical engineering from the California Institute of Technology in 2008 and 2013, respectively. Her doctoral work focused on the use of formal methods and timed specification languages in the design and analysis of large-scale, complex, distributed control systems.