VeriVITAL Members

Principal Investigator

Postdoctoral Research Associates
  • Andrew Sogokon, PhD University of Edinburgh; next position: postdoc at Carnegie Mellon University
  • Khaza Anuarul Hoque, PhD Concordia University, Canada; now postdoc at Oxford University
  • Weiming Xiang, PhD, Southwest Jiaotong University
PhD Students MSc Thesis Students
  • Prajakta Laxane, UTA EE
MSc Thesis Alumni

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.

Recent Collaborators