VeriVITAL Students and Group Members
VeriVITAL Group Photos
Principal Investigator
Current Group Members
Postdoctoral Research Associates and Research Scientists
- Joel Rosenfeld, started summer 2017, Vanderbilt EECS, PhD University of Florida with Prof. Mike Jury, Previous Position: Postdoc at University of Florida with Prof. Warren Dixon
- Weiming Xiang, Vanderbilt EECS, PhD, Southwest Jiaotong University with Prof. Jian Xiao, previous position: Research Associate with Prof. James Lam at the University of Hong Kong
PhD Students
- Diego Manzanas Lopez, Vanderbilt EECS; BSc Physics, Presbyterian College, 2017; started fall 2017
- Tianshu Bao, Vanderbilt EECS; MSc, Applied Mathematics, SUNY Stony Brook, 2016; started fall 2017
- Xiaodong Yang, Vanderbilt EECS; MSc, Mechanical Engineering, 2016; started fall 2017
- Patrick Musau, Vanderbilt EECS; BSc Physics and Applied Mathematics, Furman University, 2017; started fall 2017
- Nathaniel (Nate) Hamilton, Vanderbilt EECS; BS Computer Science, Lipscomb University, 2017; started summer 2017
- Ayana Wild, Vanderbilt EECS; BS Computer Science and Mathematics, Tennessee State University; started 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
MSc Thesis Students
Undergraduate Students
Past Group Members and Alumni
Postdoctoral Research Associate Alumni
- Andrew Sogokon, Vanderbilt EECS, PhD University of Edinburgh with Senior Lecturer Paul Jackson; next position: postdoc at Carnegie Mellon University with Prof. Andre Platzer
- Khaza Anuarul Hoque, UTA CSE; PhD, Concordia University, Canada with Prof. Otmane Ait Mohamed; now postdoc at Oxford University with Prof. Alessandro Abate
PhD Alumni
- Luan Viet Nguyen, UTA CSE; spring 2014 to spring 2018; first position: postdoc with Rajeev Alur at UPenn
- Omar Ali Beg, UTA EE, co-advised with Ali Davoudi; started summer 2014, graduated summer 2017; first position: postdoc with Ali Davoudi
Other Past Graduate Students
- Yuanqi Xie, Vanderbilt EECS; MSc, Bioengineering, Case Western Reserve University 2017; fall 2017 to fall 2018
- Ran Hao, Vanderbilt EECS; MSc, Electrical Engineering and Computer Science (EECS), Case Western Reserve University, 2017; BSc, Reliability and Systems Engineering, Beihang University; fall 2017 to spring 2018
MSc Thesis Alumni
- Rahul Kawadgave, MSc Thesis, "Smartphone-Based Crowd Sourcing of Bicycle and Pedestrian Conflict Data for Transportation Safety Assessment", August 2016, UTA EE (first position: Engineer at Qualcomm)
- Randy Long, MSc Thesis, "Time-Triggered Controller Area Network Design for Formula SAE Racecars and Technique for Measuring CPU Usage on Systems with Nested and Non-Nested Interrupts", August 2016, UTA EE (first position: Engineer at Faraday Future)
- Nathan Hervey, MSc Thesis, Localization and Control of Distributed Mobile Robots with the Microsoft Kinect and StarL May 2016, UTA CSE (first position: Software Engineer at Lockheed-Martin, Fort Worth, Texas)
- Shweta Hardas, MSc Thesis, "Virtual And Hardware Prototyping Of A Modular Multilevel Inverter For Photovoltaics" May 2015, UTA EE (first position: Electronics Engineer at Cummins, Inc., Columbus/Seymour, Indiana)
- Ruoshi Zhang, MSc Thesis, "Model-based Design And Analysis Of Automotive Systems Using Time-triggered Controller Area Networks" May 2015, UTA EE (first position: PhD student in EE at UTA)
- Amol Vengurlekar, MSc Thesis, "Design Of A Real Time Reconfigurable Bioreactor" May 2015, UTA EE (first position: Electrical Engineer at Dish Network, previously EchoStar)
Undergraduate Student Alumni
- 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
- Stanley Bak
- Leonardo Bobadilla
- Sergiy Bogomolov
- Marco Caccamo
- Jyotirmoy V. Deshmukh
- Sebastian Fischmeister
- Amy LaViers
- Sayan Mitra
- Christian Schilling
- Lui Sha
- Andreas Veneris