VeriVITAL Members

Principal Investigator

Postdoctoral Research Associates Postdoctoral Research Associate Alumni PhD Students
  • Yuanqi Xie, Vanderbilt EECS; MSc, Bioengineering, Case Western Reserve University 2017; starting fall 2017
  • Diego Manzanas Lopez, Vanderbilt EECS; BSc Physics, Presbyterian College, 2017; starting fall 2017
  • Tianshu Bao, Vanderbilt EECS; MSc, Applied Mathematics, SUNY Stony Brook, 2016; starting fall 2017
  • Xiaodong Yang, Vanderbilt EECS; MSc, Mechanical Engineering, 2016; starting fall 2017
  • Patrick Musau, Vanderbilt EECS; BSc Physics and Applied Mathematics, Furman University, 2017; starting fall 2017
  • Ran Hao, Vanderbilt EECS; MSc, Electrical Engineering and Computer Science (EECS), Case Western Reserve University, 2017; BSc, Reliability and Systems Engineering, Beihang University; starting fall 2017
  • Nathaniel (Nate) Hamilton, Vanderbilt EECS; BS Computer Science, Lipscomb University, 2017; starting summer 2017
  • Ayana Wild, Vanderbilt EECS; BS Computer Science and Mathematics, Tennessee State University; starting summer 2017
  • Hoang-Dung Tran, Vanderbilt EECS; started spring 2015
  • Shafiul Chowdhury, UTA CSE, co-advised with Christoph Csallner; BSc Bangladesh University of Engineering and Technology (BUET), started fall 2015
  • Luan Viet Nguyen, UTA CSE; started spring 2014
PhD Alumni MSc Thesis Students
MSc Thesis Alumni Undergraduate Students
  • Timothy Liang, BSc Project, Vanderbilt EECS
  • Stirling Carter, BSc Project, Vanderbilt EECS
  • Austin Wilms, BSc Project, Vanderbilt EECS
  • Yinghui Yang, BSc Project, Vanderbilt EECS
  • Anissa Alexander, BSc Project, Vanderbilt EECS
  • Christina Wang, BSc Project, Vanderbilt EECS
  • Daniel Hong, BSc Project, Johns Hopkins University Mechanical Engineering
  • Eric Nelson, BSc Project, UTA, Computer Science and Engineering (CSE), 2013-2014; first position: graduate student at Texas A&M University


  • Prospective Students: I am looking for ambitious and motivated graduate and undergraduate students. Research Assistantships (RAs) are available for competitive candidates. If you are a UTA student looking for an advisor, or if you are interested in applying to UTA for graduate studies in Computer Science and Engineering, please email me with your resume/CV if you are interested to do research in formal methods, hybrid systems, embedded systems / cyber-physical systems, software engineering, distributed systems, and related areas. If you do not include your resume/CV, I will definitely not respond. As I receive many such requests, I cannot reply to every email, but do my best to reply to competitive applicants.


    Current/Recent Collaborators